Attack-preserving security protocol transformations.

TitleAttack-preserving security protocol transformations.
Publication TypeConference Paper
Year of Publication2012
AuthorsNguyen, T. Binh
EditorSprenger, C.
Corporate AuthorsBasin, D.
Conference NameESSoS-DS
Date Published02/2012