The AVISPA tool for the automated validation of Internet security protocols and applications

被引：0

作者：

Armando, A ^{[1
]}

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

机构：

[1] Univ Genoa, DIST, AI Lab, Genoa, Italy

[2] ETH, Informat Secur Grp, Zurich, Switzerland

[3] Univ Franche Comte, LIFC, F-25030 Besancon, France

[4] INRIA Lorraine, LORIA, Nancy, France

[5] Siemens AG, CT IC 3, D-8000 Munich, Germany

来源：

COMPUTER AIDED VERIFICATION, PROCEEDINGS | 2005年 / 3576卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

AVISPA is a push-button tool for the automated validation of Internet security-sensitive protocols and applications. It provides a modular and expressive formal language for specifying protocols and their security properties, and integrates different back-ends that implement a variety of state-of-the-art automatic analysis techniques. To the best of our knowledge, no other tool exhibits the same level of scope and robustness while enjoying the same performance and scalability.

引用

页码：281 / 285

页数：5

共 50 条

[31] Automated verification of selected equivalences for security protocols
Blanchet, Bruno
Abadi, Martin
Fournet, Cedric
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 75 (01): : 3 - 51
[32] An Automated Mechanism of Security Test on Network Protocols
Yang, Yahui
Chen, Yunfei
Xia, Min
Ma, Juan
FIFTH INTERNATIONAL CONFERENCE ON INFORMATION ASSURANCE AND SECURITY, VOL 1, PROCEEDINGS, 2009, : 503 - +
[33] Automated Security Assessment for the Internet of Things
Duan, Xuanyu
Ge, Mengmeng
Triet Huynh Minh Le
Ullah, Faheem
Gao, Shang
Lu, Xuequan
Babar, M. Ali
2021 IEEE 26TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2021), 2021, : 47 - 56
[34] Internet of Things: Architectures, Protocols, and Applications
Sethi P.
Sarangi S.R.
Journal of Electrical and Computer Engineering, 2017, 2017
[35] A taxonomy of multicast protocols for Internet applications
Mostafa, W
Singhal, M
COMPUTER COMMUNICATIONS, 1998, 20 (16) : 1448 - 1457
[36] Internet protocols, technology and applications (VoIP)
Linge, N
IEE PROCEEDINGS-COMMUNICATIONS, 2004, 151 (03): : 221 - 221
[37] Internet trends: Effects on applications protocols
Moore, K
IEEE INTERNET COMPUTING, 1999, 3 (04) : 10 - +
[38] Protocols with security proofs for mobile applications
Tin, YST
Vasanta, H
Boyd, C
Nieto, JMG
INFORMATION SECURITY AND PRIVACY, PROCEEDINGS, 2004, 3108 : 358 - 369
[39] SeVe: automatic tool for verification of security protocols
Anh Tuan Luu
Jun Sun
Yang Liu
Jin Song Dong
Xiaohong Li
Thanh Tho Quan
Frontiers of Computer Science, 2012, 6 : 57 - 75
[40] SeVe: automatic tool for verification of security protocols
Anh Tuan Luu
Sun, Jun
Liu, Yang
Dong, Jin Song
Li, Xiaohong
Thanh Tho Quan
FRONTIERS OF COMPUTER SCIENCE, 2012, 6 (01) : 57 - 75

← 1 2 3 4 5 →