Security analysis of LMAP using AVISPA

被引：18
|
作者：
Islam, Salekul [1 ]
机构：
[1] Computer Science and Engineering Department, United International University, Dhaka 1209, Bangladesh
来源：
International Journal of Security and Networks | 2014年 / 9卷 / 01期
关键词：
28;
D O I：
10.1504/IJSN.2014.059325
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：30 / 39
相关论文
共 50 条
  • [1] Analysis of E-commerce Security using AVISPA
    Asma, Daassa
    Mohsen, Machhout
    Taoufik, Aguili
    [J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2020, 20 (12): : 13 - 20
  • [2] Automated Security Protocol Analysis With the AVISPA Tool
    Vigano, Luca
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 155 : 61 - 86
  • [3] An Authentication Mechanism to Prevent Various Security Threats in Software Defined Networking by using AVISPA
    Ram, Anil
    Dutta, Manash Pratim
    Chakraborty, Swarnendu Kumar
    [J]. JOURNAL OF SCIENTIFIC & INDUSTRIAL RESEARCH, 2024, 83 (09): : 977 - 988
  • [4] Design and Formal Analysis of Electronic Voting Protocol using AVISPA
    Oo, Htet Ne
    Aung, Aye Moe
    [J]. 2017 2ND INTERNATIONAL CONFERENCE FOR CONVERGENCE IN TECHNOLOGY (I2CT), 2017, : 1 - 8
  • [5] The AVISPA tool for the automated validation of Internet security protocols and applications
    Armando, A
    Basin, D
    Boichut, Y
    Chevalier, Y
    Compagna, L
    Cuellar, J
    Drielsma, PH
    Heám, PC
    Kouchnarenko, O
    Mantovani, J
    Mödersheim, S
    von Oheimb, D
    Rusinowitch, M
    Santiago, J
    Turuani, M
    Viganò, L
    Vigneron, L
    [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 281 - 285
  • [6] Formal Analysis of ISO/IEC 9798-2 Authentication Standard using AVISPA
    Ziauddin, Sheikh
    Martin, Bruno
    [J]. 2013 EIGHTH ASIA JOINT CONFERENCE ON INFORMATION SECURITY (ASIAJCIS), 2013, : 108 - 114
  • [7] A comparative study of security protocols validation tools: HERMES vs. AVISPA
    Hussain, M
    Seret, D
    [J]. 8TH INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION TECHNOLOGY, VOLS 1-3: TOWARD THE ERA OF UBIQUITOUS NETWORKS AND SOCIETIES, 2006, : U303 - U308
  • [8] AVISPA: a web tool for the prediction and analysis of alternative splicing
    Yoseph Barash
    Jorge Vaquero-Garcia
    Juan González-Vallinas
    Hui Yuan Xiong
    Weijun Gao
    Leo J Lee
    Brendan J Frey
    [J]. Genome Biology, 14
  • [9] AVISPA: a web tool for the prediction and analysis of alternative splicing
    Barash, Yoseph
    Vaquero-Garcia, Jorge
    Gonzalez-Vallinas, Juan
    Xiong, Hui Yuan
    Gao, Weijun
    Lee, Leo J.
    Frey, Brendan J.
    [J]. GENOME BIOLOGY, 2013, 14 (10):
  • [10] Formal Verification of Wireless Sensor Key Exchange Protocol using AVISPA
    Kasraoui, Mohamed
    Cabani, Adnane
    Chafouk, Houcine
    [J]. 2014 INTERNATIONAL SYMPOSIUM ON COMPUTER, CONSUMER AND CONTROL (IS3C 2014), 2014, : 387 - 390
12345