Modeling group communication protocols using multiset term rewriting

MaRDI QIDQ2851047zbMATH OpenFDO

Authors Grit Denker, Jon Millen

Publication date 2 October 2013

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

Mathematics Subject Classification ID

Network protocols (68M12) Grammars and rewriting systems (68Q42)

Recommendations

• Multi-agent secure communication protocol
• scientific article; zbMATH DE number 2090061
• An improved formal model of cryptographic protocols
• scientific article; zbMATH DE number 1390339
• Formal models and analysis of secure multicast in wired and wireless networks

Cited in

(2)

• Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
• Multi-agent secure communication protocol

This page was built for publication: Modeling group communication protocols using multiset term rewriting

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