SYSTEMS SPECIFICATION BY BASIC PROTOCOLS

被引：6

作者：

Letichevsky, A. Ad. ^{[1
]}

Kapitonova, Yu. V. ^{[1
]}

Volkov, V. A. ^{[1
]}

Letichevsky, A. A. ^{[2
]}

Baranov, S. N. ^{[3
]}

Kotlyarov, V. P. ^{[3
]}

Weigert, T. ^{[4
]}

机构：

[1] Natl Acad Sci Ukraine, Cybernet Inst, Kiev, Ukraine

[2] Informat Program Syst Co Ltd, Kiev, Ukraine

[3] Closed Corp Motorola, St Petersburg, Russia

[4] Closed Corp Motorola, Chicago, IL USA

来源：

CYBERNETICS AND SYSTEMS ANALYSIS | 2005年 / 41卷 / 04期

关键词：

formal methods; requirements verification; agents and environments;

D O I：

10.1007/s10559-005-0083-y

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Theoretical foundations of requirements formalization and verification based on basic protocols are presented. This approach uses the concept of an attributed transition system. Facets of an implementation of the system VRS are described together with some statistical results of using this tool in large-scale industrial projects.

引用

页码：479 / 493

页数：15

共 50 条

[31] A Formal Specification and Verification Framework for Timed Security Protocols
Li, Li
Sun, Jun
Liu, Yang
Sun, Meng
Dong, Jin-Song
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2018, 44 (08) : 725 - 746
[32] Specification of timed authentication protocols with colored Petri nets
Jakubowska, G
Srebrny, M
[J]. ADVANCED COMPUTER SYSTEMS, PROCEEDINGS, 2002, 664 : 383 - 392
[33] Exploring fair exchange protocols using specification animation
Boyd, C
Kearney, P
[J]. INFORMATION SECURITY, PROCEEDINGS, 2001, 1975 : 209 - 223
[34] PETRI NET BASED MODELS FOR THE SPECIFICATION AND VALIDATION OF PROTOCOLS
DIAZ, M
AZEMA, P
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 188 : 101 - 121
[35] Towards an Adaptive Grid Scheduling: Architecture and Protocols Specification
Thabet, Ines
Hanachi, Chihab
Ghedira, Khaled
[J]. AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PROCEEDINGS, 2009, 5559 : 599 - 608
[36] USE OF A FORMAL DESCRIPTION TECHNIQUE IN THE SPECIFICATION OF AUTHENTICATION PROTOCOLS
VARADHARAJAN, V
[J]. COMPUTER STANDARDS & INTERFACES, 1990, 9 (03) : 203 - 215
[37] Object-oriented support for specification of distributed protocols
Sturman, DC
[J]. PROCEEDINGS OF THE FIFTH INTERNATIONAL WORKSHOP ON OBJECT-ORIENTATION IN OPERATING SYSTEMS, 1996, : 133 - 137
[38] FORMAL TECHNIQUES FOR THE SPECIFICATION, VERIFICATION AND CONSTRUCTION OF COMMUNICATION PROTOCOLS
CHOI, TY
[J]. IEEE COMMUNICATIONS MAGAZINE, 1985, 23 (10) : 46 - 52
[39] An interface specification language for automatically analyzing cryptographic protocols
Brackin, SH
[J]. 1997 SYMPOSIUM ON NETWORK AND DISTRIBUTED SYSTEM SECURITY, PROCEEDINGS, 1997, : 40 - 51
[40] Design for testability of communication protocols based on SDL specification
Karoui, K
Dssouli, R
Yevtushenko, N
[J]. SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 151 - 164

← 1 2 3 4 5 →