Show simple item record

dc.contributor.authorvan der Meyden, Ron
dc.contributor.authorSu, Kaile
dc.date.accessioned2017-05-03T14:39:33Z
dc.date.available2017-05-03T14:39:33Z
dc.date.issued2004
dc.date.modified2009-12-21T03:11:23Z
dc.identifier.doi10.1109/CSFW.2004.1310747
dc.identifier.urihttp://hdl.handle.net/10072/27807
dc.description.abstractThis 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.peerreviewedYes
dc.description.publicationstatusYes
dc.languageEnglish
dc.language.isoeng
dc.publisherIEEE Computer Society
dc.publisher.placeLos Alamitos, USA
dc.publisher.urihttp://ieeexplore.ieee.org/servlet/opac?punumber=9168
dc.relation.ispartofconferencename17th IEEE Computer Security Foundations Workshop
dc.relation.ispartofconferencetitle17th IEEE Computer Security Foundations Workshop
dc.relation.ispartofdatefrom2004-06-28
dc.relation.ispartofdateto2004-06-30
dc.relation.ispartoflocationPacific Grove, CA, USA
dc.subject.fieldofresearchcode280403
dc.titleSymbolic Model Checking the Knowledge of the Dining Cryptographers
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.date.issued2004
gro.hasfulltextNo Full Text
gro.griffith.authorSu, Kaile


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record