Reference : Analysis of a receipt-free auction protocol in the applied pi calculus
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/204
Analysis of a receipt-free auction protocol in the applied pi calculus
English
Dong, Naipeng mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Jonker, Hugo mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Pang, Jun mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2011
Proc. 7th Workshop on Formal Aspects in Security and Trust
Springer-Verlag
Lecture Notes in Computer Science 6561
223–238
Yes
International
978-3-642-19750-5
7th Workshop on Formal Aspects in Security and Trust
2010
Italy
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/204
also: http://hdl.handle.net/10993/205

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
FAST10.pdfAuthor preprint223.5 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.