A comparative study of security protocols validation tools: HERMES vs. AVISPA

被引：0

作者：

Hussain, M ^{[1
]}

Seret, D ^{[1
]}

机构：

[1] Univ Rene Descartes Paris5, UFR Math Info, 45 Rue St Peres, F-75270 Paris 06, France

来源：

8TH INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION TECHNOLOGY, VOLS 1-3: TOWARD THE ERA OF UBIQUITOUS NETWORKS AND SOCIETIES | 2006年

关键词：

formal validation; security protocols; Hermes; AVISPA; EVA; HLPSL;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：U303 / U308

页数：6

共 50 条

[21] A comparative study of WLAN security protocols: WPA, WPA2
Adnan, Abdillahi Hassan
Abdirazak, Mohamed
Sadi, A. B. M. Shamsuzzaman
Anam, Towfique
Khan, Sazid Zaman
Rahman, Mohammed Mahmudur
Omar, Mohamed Musse
[J]. 2015 INTERNATIONAL CONFERENCE ON ADVANCES IN ELECTRICAL ENGINEERING (ICAEE), 2015, : 165 - 169
[22] A security-centric comparative study of PLEASE with existing GKM protocols
Rhymend, Uthariarai, V
Rangaraj, T. C.
Srinivasan, S.
Vennila S, Mary
Sankaranarayanan, V
[J]. CNSR 2007: PROCEEDINGS OF THE FIFTH ANNUAL CONFERENCE ON COMMUNICATION NETWORKS AND SERVICES RESEARCH, 2007, : 192 - +
[23] Pancreaticojejunostomy vs. pancreaticogastrostomy following pancreaticoduodenectomy: results of comparative study
Makni, A.
Bedioui, H.
Jouini, M.
Chebbi, F.
Ksantini, R.
Fetirich, F.
Rebai, W.
Daghfous, A.
Ayedi, S.
Kacem, M.
Ben Safta, Z.
[J]. MINERVA CHIRURGICA, 2011, 66 (04) : 295 - 302
[24] COMPARATIVE STUDY ON USAGE OF TEMPORALIS FASCIA Vs. PERIOSTEUM IN MYRINGOPLASTY
Rao, S. Surya Prakasa
Prasad, T. V. S. S. N. Leela
Veeraswamy, N.
Vadlamani, Swathi
[J]. JOURNAL OF EVOLUTION OF MEDICAL AND DENTAL SCIENCES-JEMDS, 2016, 5 (35): : 2068 - 2070
[25] Laparoscopic vs. open pancreaticoduodenectomy: a comparative study in elderly people
Yuwei Tan
Tianyu Tang
Yue Zhang
Guangchen Zu
Yong An
Weibo Chen
Di Wu
Donglin Sun
Xuemin Chen
[J]. Updates in Surgery, 2020, 72 : 701 - 707
[26] Ligation vs. bipolar diathermy for haemostasis in tonsillectomy—a comparative study
P. K. Moonka
[J]. Indian Journal of Otolaryngology and Head and Neck Surgery, 2002, 54 (1): : 35 - 38
[27] MongoDB vs. Oracle: A Comparative Study Using Classification Algorithms
Anju, R.
Swathi, B. P.
[J]. 2016 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND COMPUTING RESEARCH, 2016, : 390 - 393
[28] A Comparative Study of Clinical vs. Digital Exophthalmometry Measurement Methods
Pereira, Thais de Sous
Kuniyoshi, Cristina Hiromi
Leite, Cristiane de Almeida
Gebrim, Eloisa M. M. S.
Monteiro, Mario L. R.
Goncalves, Allan C. Pieroni
[J]. JOURNAL OF OPHTHALMOLOGY, 2020, 2020
[29] Choose your tools carefully: a comparative evaluation of deterministic vs. stochastic and binary vs. analog neuron models for implementing emerging computing paradigms
Morshed, Md Golam
Ganguly, Samiran
Ghosh, Avik W.
[J]. FRONTIERS IN NANOTECHNOLOGY, 2023, 5
[30] Mobile learning vs. traditional classroom lessons: a comparative study
Furio, D.
Juan, M. -C.
Segui, I.
Vivo, R.
[J]. JOURNAL OF COMPUTER ASSISTED LEARNING, 2015, 31 (03) : 189 - 201

← 1 2 3 4 5 →