Attack-preserving security protocol transformations

TitleAttack-preserving security protocol transformations
Publication TypeConference Paper
Year of Publication2012
AuthorsNguyen, B. Thanh, Sprenger C., & Basin D.
Conference NameESSoS-DS
PDF download: