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

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

2010-04-26

arxiv.org/abs/1004.5130v1

Computer Science

Logic in Computer Science

Scientific paper

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 verify concrete implementations based on this abstract level of description. The details of the implementations depend on the speci?c 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.

Affiliated with

Also associated with

No associations

Rating

Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-33062