Title :
A comparative study of security protocols validation tools: HERMES vs. AVISPA
Author :
Hussain, Mureed ; Seret, Dominique
Author_Institution :
UFR Math-Info, Univ. Rene Descartes Paris 5
Abstract :
Security protocols require more rigorous and detailed verification than normal communication protocols before their deployment because even a trivial flaw in their architecture may produce drastic results. These verification procedures are based upon the abstract formal methods producing analytical rules to show if a given protocol is secure or not. The technical difficulties to master formal techniques by non-mathematicians have given rise to online validation tools which are easy to use and produce a human readable output. These online tools differ in many parameters. Our work is aimed to present a qualitative comparison of two automatic security protocol analysers Hermes and AVISPA for the some pertinent parameters
Keywords :
formal verification; protocols; security of data; AVISPA; HERMES; abstract formal methods; online validation tools; security protocols validation tools; verification procedures; Authentication; Body sensor networks; Communication system security; Cryptographic protocols; Formal specifications; Humans; Information security; Logic; Protection; Time series analysis; AVISPA; EVA; Formal validation; HLPSL; Hermes; security protocols;
Conference_Titel :
Advanced Communication Technology, 2006. ICACT 2006. The 8th International Conference
Conference_Location :
Phoenix Park
Print_ISBN :
89-5519-129-4
DOI :
10.1109/ICACT.2006.205974
