Specification and analysis of a composition of protocols

DOI10.1016/0020-0255(93)90079-2MaRDI QIDQ1801467zbMATH OpenOpenAlexFDO

Authors G. M. Lundy

Publication date 21 July 1993

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0255(93)90079-2

zbMATH Keywords

communication protocolscomposite protocolcorrectnessdata-compression protocolverification

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The formalization and analysis of a communications protocol
• Protocol analysis and synthesis by structured partitions
• scientific article; zbMATH DE number 865194
• Study of protocol composition logic
• Formal analysis and parallelism in protocols
• scientific article; zbMATH DE number 2087417
• scientific article; zbMATH DE number 140248
• A novel framework for protocol analysis

Cites work

• scientific article; zbMATH DE number 42469 (Why is no real title available?)
• scientific article; zbMATH DE number 710624 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• Specification and analysis of a composition of protocols

Cited in

(11)

• A methodology for constructing communication protocols with multiple concurrent functions
• The formalization and analysis of a communications protocol
• Specification and analysis of a composition of protocols
• Stateful protocol composition
• A new ratio for protocol categorization
• scientific article; zbMATH DE number 1693443 (Why is no real title available?)
• scientific article; zbMATH DE number 1088213 (Why is no real title available?)
• scientific article; zbMATH DE number 2050824 (Why is no real title available?)
• scientific article; zbMATH DE number 2087417 (Why is no real title available?)
• Constraint-based structuring of network protocols
• Computer Aided Systems Theory – EUROCAST 2005

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: Specification and analysis of a composition of protocols

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1801467)