Symbolic model checking the knowledge of the dining cryptographers | IEEE Conference Publication | IEEE Xplore