Reference : Verification of a key-chain based TTP transparent CEM protocol
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/194
Verification of a key-chain based TTP transparent CEM protocol
English
Liu, Z. [> >]
Pang, Jun mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Zhang, C. [> >]
2011
Proc. 3rd Workshop on Harnessing Theories for Tool Support in Software
Elsevier
Electronic Notes in Theoretical Computer Science 274
Yes
International
3rd Workshop on Harnessing Theories for Tool Support in Software
2010
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/194

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
TTSS10.pdfAuthor preprint269.13 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.