Symbolic model checking the knowledge in Herbivore protocol

DOI10.1007/978-3-642-20674-0_8MaRDI QIDQ3003428zbMATH OpenOpenAlexFDO

Authors XiangYu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang

Publication date 27 May 2011

Published in Model Checking and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-20674-0_8

zbMATH Keywords

anonymityHerbivore systemmulti-agent systemssymbolic model checkingtemporal logic of knowledge

Mathematics Subject Classification ID

Network protocols (68M12) Specification and verification (program logics, model checking, etc.) (68Q60) Cryptography (94A60)

Recommendations

• Computer Aided Verification
• A Framework for Automatically Checking Anonymity with μCRL
• scientific article; zbMATH DE number 5051652
• Symbolic Model Checking Commitment Protocols Using Reduction
• Computational and symbolic anonymity in an unbounded network

Cites work

• Common knowledge and update in finite environments
• Computer Aided Verification
• Graph-Based Algorithms for Boolean Function Manipulation
• scientific article; zbMATH DE number 88991 (Why is no real title available?)
• scientific article; zbMATH DE number 1903365 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• The dining cryptographers problem: Unconditional sender and recipient untraceability

Cited in

(1)

• Symbolic model checking of public announcement protocols

Describes a project that uses

Uses Software

• SPIN
• NuSMV
• MCMAS
• MCK

This page was built for publication: Symbolic model checking the knowledge in Herbivore protocol

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