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

Omar I. Al-Bataineh, Ron van der Meyden

Browse the full SecureComm paper archive.