DESIGN OF PROTOCOLS - SPECIFICATION AND FORMAL DESCRIPTION TECHNIQUES

被引：0

作者：

MESTRAS, JP ^{[1
]}

PEREDA, O ^{[1
]}

TOMAS, JG ^{[1
]}

机构：

[1] FAC INFORMAT MADRID, CATEDRA TELEINFORMAT, MADRID, SPAIN

来源：

REVISTA DE INFORMATICA Y AUTOMATICA | 1988年 / 21卷 / 01期

关键词：

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

引用

页码：28 / 37

页数：10

共 50 条

[1] USE OF A FORMAL DESCRIPTION TECHNIQUE IN THE SPECIFICATION OF AUTHENTICATION PROTOCOLS
VARADHARAJAN, V
[J]. COMPUTER STANDARDS & INTERFACES, 1990, 9 (03) : 203 - 215
[2] FORMAL TECHNIQUES FOR THE SPECIFICATION, VERIFICATION AND CONSTRUCTION OF COMMUNICATION PROTOCOLS
CHOI, TY
[J]. IEEE COMMUNICATIONS MAGAZINE, 1985, 23 (10) : 46 - 52
[3] CONTRIBUTION OF FORMAL DESCRIPTION TECHNIQUES TO THE SPECIFICATION OF INTERNATIONAL DATA COMMUNICATIONS STANDARDS
DICKSON, GJ
[J]. AUSTRALIAN TELECOMMUNICATION RESEARCH, 1982, 16 (03): : 47 - 52
[4] FORMAL MODEL FOR DESIGN AND DESCRIPTION OF PROTOCOLS ON THE BASIS OF PETRI NETS
ANISIMOV, NA
[J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1988, (06): : 3 - 10
[5] Automatic implementation system of security protocols based on formal description techniques
Mengual, L
Barcia, N
Jiménez, E
Menasalvas, E
Setién, J
Yágüez, J
[J]. ISCC 2002: SEVENTH INTERNATIONAL SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, PROCEEDINGS, 2002, : 355 - 360
[6] Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks
Martinez, Diego
Gonzalez, Apolinar
Blanes, Francisco
Aquino, Raul
Simo, Jose
Crespo, Alfons
[J]. SENSORS, 2011, 11 (01) : 1059 - 1077
[7] Use of formal specification and design language for protocol description -: Field report
Prüssner, M
Gemici, A
[J]. FIELDBUS TECHNOLOGY: SYSTEMS INTEGRATION, NETWORKING, AND ENGINEERING, 1999, : 146 - 151
[8] Applying formal description techniques to software architectural design
Li, JJ
Horgan, JR
[J]. COMPUTER COMMUNICATIONS, 2000, 23 (12) : 1169 - 1178
[9] Panel on languages for formal specification of security protocols
Meadows, C
[J]. 10TH COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 1997, : 96 - 96
[10] FORMAL SPECIFICATION AND VERIFICATION OF SECURE COMMUNICATION PROTOCOLS
KNAPSKOG, SJ
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 453 : 58 - 73

← 1 2 3 4 5 →