Specification and analysis of a composition of protocols

DOI10.1016/0020-0255(93)90079-2zbMath0798.68103OpenAlexW2048458544MaRDI QIDQ1801467

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

verificationcorrectnesscommunication protocolscomposite protocoldata-compression protocol

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)

Related Items (1)

Specification and analysis of a composition of protocols

Uses Software

• UNITY

Cites Work

• Specification and analysis of a composition of protocols
• Unnamed Item
• Unnamed Item
• Unnamed Item

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