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

zbMATH Open1272.68060MaRDI QIDQ2848040FDOQ2848040

Authors: Graham Steel, Alan Bundy 

Publication date: 25 September 2013

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

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

Mathematics Subject Classification ID

Cryptography (94A60) Network protocols (68M12)

Cited In (3)

• Title not available (Why is that?)
• 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)