dc.contributor.author | van der Meyden, Ron | |
dc.contributor.author | Su, Kaile | |
dc.date.accessioned | 2017-05-03T14:39:33Z | |
dc.date.available | 2017-05-03T14:39:33Z | |
dc.date.issued | 2004 | |
dc.date.modified | 2009-12-21T03:11:23Z | |
dc.identifier.doi | 10.1109/CSFW.2004.1310747 | |
dc.identifier.uri | http://hdl.handle.net/10072/27807 | |
dc.description.abstract | This paper describes the application of symbolic techniques (in particular, OBDDs) to model checking specifications in the logic of knowledge for an agent operating with synchronous perfect recall in an environment of which it has incomplete knowledge. It discusses the application of these techniques to the verification of a security protocol: Chaum's Dining Cryptographers protocol, which provides a mechanism for anonymous broadcast | |
dc.description.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | IEEE Computer Society | |
dc.publisher.place | Los Alamitos, USA | |
dc.publisher.uri | http://ieeexplore.ieee.org/servlet/opac?punumber=9168 | |
dc.relation.ispartofconferencename | 17th IEEE Computer Security Foundations Workshop | |
dc.relation.ispartofconferencetitle | 17th IEEE Computer Security Foundations Workshop | |
dc.relation.ispartofdatefrom | 2004-06-28 | |
dc.relation.ispartofdateto | 2004-06-30 | |
dc.relation.ispartoflocation | Pacific Grove, CA, USA | |
dc.subject.fieldofresearchcode | 280403 | |
dc.title | Symbolic Model Checking the Knowledge of the Dining Cryptographers | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - Conference Publications | |
gro.date.issued | 2004 | |
gro.hasfulltext | No Full Text | |
gro.griffith.author | Su, Kaile | |