Abstractions for Security Protocol Verification

TitleAbstractions for Security Protocol Verification
Publication TypeConference Paper
Year of Publication2015
AuthorsNguyen, T. Binh
EditorSprenger, C.
Conference NamePOST
Date Published04/2015