|Research Unit in Networking|
, O. Bonaventure1, E. Koerner1, L. Léonard1, C. Pecheur1 and D. Zanetti1
1 Research unit in Networking, EECS department, University of Liège, Belgium
AbstractWe use the formal language LOTOS to specify the Equicrypt protocol and verify its robustness to attacks by an intruder. We use the model-based CADP verification tools from the Eucalyptus toolbox to discover some successful attacks against this protocol.
Keywordsformal verification, LOTOS, model-checking, security protocol
Editor: - G. Leduc -
Webmaster: - C. Soldani -
|Still running IPv4 at: 22.214.171.124...||