Reference : A framework for compositional verification of security protocols
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/25870
A framework for compositional verification of security protocols
English
Andova, S. [> >]
Cremers, C. J. F. [> >]
Gjøsteen, K. [> >]
Mauw, Sjouke mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Mjølsnes, S. F. [> >]
Radomirovic, Sasa [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2008
Information & Computation
Academic Press
206
2-4
425-459
Yes (verified by ORBilu)
0890-5401
San Diego
CA
http://hdl.handle.net/10993/25870

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
AnCrGjMaMjRa08.pdfPublisher postprint431.17 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.