scientific article; zbMATH DE number 1956577

zbMATH Open1031.68504MaRDI QIDQ4417918FDOQ4417918

Authors: Javier Esparza, Monika Maidl 

Publication date: 30 July 2003

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

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1973981
• 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}

Mathematics Subject Classification ID

Network protocols (68M12)

Cited In (1)

• Efficient verification of a multicast protocol for mobile computing

Uses Software

• Uppaal
• CMC

This page was built for publication:

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