Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Improving automatic verification of security protocols with XOR
Chen, Xihui; van Deursen, Ton; Pang, Jun
2009In Proc. 11th International Conference on Formal Engineering Methods
Peer reviewed
 

Files


Full Text
ICFEM09.pdf
Author postprint (248.92 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2010-033
Author, co-author :
Chen, Xihui ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
van Deursen, Ton ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Pang, Jun  ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Improving automatic verification of security protocols with XOR
Publication date :
2009
Event name :
11th International Conference on Formal Engineering Methods (ICFEM 2009)
Event place :
Rio de Janeiro, Brazil
Event date :
December 9-12
Audience :
International
Main work title :
Proc. 11th International Conference on Formal Engineering Methods
Publisher :
Springer
ISBN/EAN :
978-3642103728
Pages :
107-126
Peer reviewed :
Peer reviewed
Commentary :
LNCS 5885 Formal Methods and Software Engineering
Available on ORBilu :
since 22 April 2013

Statistics


Number of views
86 (2 by Unilu)
Number of downloads
62 (1 by Unilu)

Scopus citations®
 
4
Scopus citations®
without self-citations
4

Bibliography


Similar publications



Contact ORBilu