A Coordination-based Methodology for Security Protocol Verification

被引：3

作者：

Baldi, Giacomo ^{[1
]}

Bracciali, Andrea ^{[1
]}

Ferrari, Gianluigi ^{[1
]}

Tuosto, Emilio ^{[1
]}

机构：

[1] Dipartimento Informat, Via F Buonarroti 2, I-56127 Pisa, Italy

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2005年 / 121卷

关键词：

Formal methods; formal certification; security protocols; open systems; symbolic model checking;

D O I：

10.1016/j.entcs.2004.10.006

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The quest for the formal certification of properties of systems is one of the most challenging research issues in the field of formal methods. It requires the development of formal models together with effective verification techniques. In this paper, we describe a formal methodology for verifying security protocols based on ideas borrowed from the analysis of open systems, where applications interact with one another by dynamically sharing common resources and services in a not fully trusted environment. The methodology is supported by ASPASyA, a tool based on symbolic model checking techniques.

引用

页码：23 / 46

页数：24

共 50 条

[1] A coordination-based data dissemination protocol for wireless sensor networks
Le Xuan, H
Lee, S
PROCEEDINGS OF THE 2004 INTELLIGENT SENSORS, SENSOR NETWORKS & INFORMATION PROCESSING CONFERENCE, 2004, : 13 - 18
[2] A Generic Methodology for the Modular Verification of Security Protocol Implementations
Arquint, Linard
Schwerhoff, Malte
Mehta, Vaibhav
Mueller, Peter
PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023, 2023, : 1377 - 1391
[3] Coordination-based cooperation protocol in multi-agent robotic systems
Lin, FC
Hsu, JYJ
1996 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, PROCEEDINGS, VOLS 1-4, 1996, : 1632 - 1637
[4] An interphalangeal coordination-based joint motion planning for humanoid fingers: Experimental verification
Kim, Byoung-Ho
INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, 2008, 6 (02) : 234 - 242
[5] Coordination-based gold nanoparticle layers
Wanunu, M
Popovitz-Biro, R
Cohen, H
Vaskevich, A
Rubinstein, I
JOURNAL OF THE AMERICAN CHEMICAL SOCIETY, 2005, 127 (25) : 9207 - 9215
[6] Coordination-based design of distributed systems
Kok, JN
Sere, K
COORDINATION LANGUAGES AND MODELS, PROCEEDINGS, 2000, 1906 : 347 - 352
[7] Coordination-based gold nanoparticle layers
Rubinstein, I. (israel.rubinstein@weizmann.ac.il), 1600, American Chemical Society (127):
[8] Model based security verification of protocol implementation
Fu, Yulong
Kone, Ousmane
JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, 2015, 22 : 17 - 27
[9] A coordination-based framework for distributed constraint solving
Zoeteweij, P
RECENT ADVANCES IN CONSTRAINTS, 2003, 2627 : 171 - 184
[10] Exception handling in coordination-based mobile environments
Iliasov, A
Romanovsky, A
PROCEEDINGS OF THE 29TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, 2005, : 341 - 350

← 1 2 3 4 5 →