Abstraction for epistemic model checking of dining cryptographers-based protocols.

Omar I. Al-Bataineh, Ron van der Meyden

Browse the full TARK paper archive.