Simple representative instantiations for multicast protocols

DOI10.1007/3-540-36577-X_10MaRDI QIDQ4417918zbMATH OpenFDO

Authors Javier Esparza, Monika Maidl

Publication date 30 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2619/26190128.htm

Mathematics Subject Classification ID

Network protocols (68M12)

Recommendations

• A formal venture into reliable multicast territory
• Highly concurrent logically synchronous multicast
• Efficient verification of a multicast protocol for mobile computing
• Secure reliable multicast protocols in a WAN
• Attacking group multicast key management protocols using \textsc{Coral}

Cited in

(1)

• Efficient verification of a multicast protocol for mobile computing

Describes a project that uses

Uses Software

• Uppaal
• CMC

This page was built for publication: Simple representative instantiations for multicast protocols

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