Attacking group multicast key management protocols using \textsc{Coral}

MaRDI QIDQ2848040zbMATH OpenFDO

Authors Graham Steel, Alan Bundy

Publication date 25 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105000782

Mathematics Subject Classification ID

Cryptography (94A60) Network protocols (68M12)

Recommendations

• Attacking group protocols by refuting incorrect inductive conjectures
• Automated Reasoning
• Corrupting One vs. Corrupting Many: The Case of Broadcast and Multicast Encryption
• Cryptology and Network Security
• scientific article; zbMATH DE number 5370583

Cited in

(3)

• scientific article; zbMATH DE number 1956577 (Why is no real title available?)
• Attacking group protocols by refuting incorrect inductive conjectures
• Automated Reasoning

This page was built for publication: Attacking group multicast key management protocols using \textsc{Coral}

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