Improving automatic verification of security protocols with XOR
English
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) >]
2009
Proc. 11th International Conference on Formal Engineering Methods
Springer
107-126
Yes
International
978-3642103728
11th International Conference on Formal Engineering Methods (ICFEM 2009)