Symbolic model checking the knowledge of the dining cryptographers (2004)

by R van der Meyden, Kaile Su
Venue:In Proceedings of the 17th IEEE Computer Security Foundations Workshop (CSFW’04