Reference : A verification framework for stateful security protocols
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/32657
A verification framework for stateful security protocols
English
Li, Li []
Dong, Naipeng []
Pang, Jun mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) > ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)]
Sun, Jun []
Bai, Guandong []
Liu, Yang []
Dong, Jin Song []
2017
Proceedings of the 19th International Conference on Formal Engineering Methods
Springer Science & Business Media B.V.
LNCS 10610
262-280
Yes
No
International
19th International Conference on Formal Engineering Methods
2017
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/32657

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
ICFEM17.pdfAuthor preprint526.71 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.