Communication Protocol Specification and Verification

Mapping Intimacies ◽

10.1007/978-1-4615-5549-0 ◽

1998 ◽

Author(s):

Richard Lai ◽

Ajin Jirachiefpattana

Keyword(s):

Communication Protocol ◽

Protocol Specification ◽

Specification And Verification

Download Full-text

Derivation of communication protocol specification based on LOTOS and temporal logic

Proceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering '93 ◽

10.1109/sicon.1993.515656 ◽

2002 ◽

Author(s):

T. Ando ◽

Y. Kato ◽

K. Takahashi ◽

S. Noguchi

Keyword(s):

Temporal Logic ◽

Communication Protocol ◽

Protocol Specification

Download Full-text

A model for estimating the size of a formal communication protocol specification and its implementation

IEEE Transactions on Software Engineering ◽

10.1109/tse.2003.1166588 ◽

2003 ◽

Vol 29 (1) ◽

pp. 46-62 ◽

Author(s):

R. Lai ◽

S.-J. Huang

Keyword(s):

Communication Protocol ◽

Protocol Specification ◽

Formal Communication

Download Full-text

Formal Techniques for Protocol Specification and Verification

Computer ◽

10.1109/mc.1979.1658889 ◽

1979 ◽

Vol 12 (9) ◽

pp. 20-27 ◽

Author(s):

Sunshine

Keyword(s):

Protocol Specification ◽

Specification And Verification ◽

Formal Techniques

Download Full-text

Bus communication protocol for remote reading and writing: Formal specification and verification

[Proceedings] IECON '90: 16th Annual Conference of IEEE Industrial Electronics Society ◽

10.1109/iecon.1990.149195 ◽

2002 ◽

Author(s):

P. Azema ◽

K. Drira

Keyword(s):

Formal Specification ◽

Communication Protocol ◽

Reading And Writing ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Deriving complexity information from a formal communication protocol specification

Software Practice and Experience ◽

10.1002/(sici)1097-024x(19981210)28:14<1465::aid-spe187>3.0.co;2-h ◽

1998 ◽

Vol 28 (14) ◽

pp. 1465-1491 ◽

Author(s):

Sun-Jen Huang ◽

Richard Lai

Keyword(s):

Communication Protocol ◽

Protocol Specification ◽

Formal Communication

Download Full-text

PSAMS: a communication protocol specification assessment and measurement system

Software Practice and Experience ◽

10.1002/spe.476 ◽

2002 ◽

Vol 32 (12) ◽

pp. 1129-1154

Author(s):

Sun-Jen Huang ◽

Richard Lai

Keyword(s):

Measurement System ◽

Communication Protocol ◽

Protocol Specification

Download Full-text

Security protocol specification and verification with AnBx

Journal of Information Security and Applications ◽

10.1016/j.jisa.2016.05.004 ◽

2016 ◽

Vol 30 ◽

pp. 46-63 ◽

Author(s):

Michele Bugliesi ◽

Stefano Calzavara ◽

Sebastian Mödersheim ◽

Paolo Modesti

Keyword(s):

Security Protocol ◽

Protocol Specification ◽

Specification And Verification

Download Full-text

A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2009.05.054 ◽

2009 ◽

Vol 240 ◽

pp. 221-238 ◽

Author(s):

Paul Regnier ◽

George Lima ◽

Aline Andrade

Keyword(s):

Real Time ◽

Formal Specification ◽

Communication Protocol ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Timed Petri nets and their application to communication protocol specification

10.1109/milcom.1988.13390 ◽

2003 ◽

Author(s):

J.J. Zhu ◽

R.T. Denton

Keyword(s):

Communication Protocol ◽

Timed Petri Nets ◽

Protocol Specification

Download Full-text

An Efficient Concurrent System Networking Protocol Specification and Verification Using Linear Temporal Logic

Communications in Computer and Information Science - Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health ◽

10.1007/978-981-15-1925-3_12 ◽

2019 ◽

pp. 149-168

Author(s):

Ra’ed Bani Abdelrahman ◽

Hussain Al-Aqrabi ◽

Richard Hill

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic ◽

Concurrent System ◽

Protocol Specification ◽

Specification And Verification

Download Full-text