Sciweavers

Share
CORR
2010
Springer

Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast

10 years 3 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic model checking technology may be applied to discover and oncrete implementations based on this abstract level of description. The details of the implementations depend on the specific context of use of the protocol. The knowledge-based approach enables the implementations to be optimized relative to these conditions of use. The approach is illustrated using extensions of the Dining Cryptographers protocol, a security protocol for anonymous broadcast.
Omar I. Al-Bataineh, Ron van der Meyden
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2010
Where CORR
Authors Omar I. Al-Bataineh, Ron van der Meyden
Comments (0)
books