Symbolic Model Checking the Knowledge in Herbivore Protocol

DOI10.1007/978-3-642-20674-0_8zbMath1327.68037OpenAlexW1480566975MaRDI QIDQ3003428

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

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

symbolic model checkingmulti-agent systemsanonymitytemporal logic of knowledgeHerbivore system

Mathematics Subject Classification ID

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

Uses Software

• SPIN
• NuSMV
• MCMAS
• MCK

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The dining cryptographers problem: Unconditional sender and recipient untraceability
• Common knowledge and update in finite environments
• Graph-Based Algorithms for Boolean Function Manipulation
• Computer Aided Verification

This page was built for publication: Symbolic Model Checking the Knowledge in Herbivore Protocol