scientific article; zbMATH DE number 1956577

MaRDI QIDQ4417918zbMATH OpenFDO

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

Mathematics Subject Classification ID

Network protocols (68M12)

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}

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:

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