Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.14/148619
4 Visitors
5 Hits
0 Downloads
- Title
- Security, probability and nearly fair coins in the cryptographers' café
- Related
- International Symposium of Formal Methods Europe (16th : 2009) (2 - 6 November 2009 : Eindhoven, Netherlands)
- Related
- Cavalcanti, Ana and Dam, Dennis. FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings, p.41-71
- DOI
- 10.1007/978-3-642-05089-3_5
- Related
- Lecture notes in computer science Vol. 5850
- Publisher
- Berlin ; New York : Springer
- Date
- 2009
- FoR/RFCD Code(s)
-
080200 Computation Theory and Mathematics
- Author/Creator
- McIver, Annabelle
- Author/Creator
- Meinicke, Larissa
- Author/Creator
- Morgan, Carroll
- Description
- Security and probability are both artefacts that we hope to bring increasingly within the reach of refinement-based Formal Methods; although we have worked on them separately, in the past, the goal has always been to bring them together. In this report we describe our ongoing work in that direction: we relate it to a well known problem in security, Chaum’s Dining Cryptographers, where the various criteria of correctness that might apply to it expose precisely the issues we have found to be significant in our efforts to deal with security, probability and abstraction all at once. Taking our conviction into this unfamiliar and demanding territory, that abstraction and refinement are the key tools of software development, has turned out to be an exciting challenge.
- Description
- 31 page(s)
- Subject Keyword
- 080200 Computation Theory and Mathematics
- Resource Type
- conference paper
- Organisation
- Macquarie University. Dept. of Computing
- Identifier
- http://hdl.handle.net/1959.14/148619
- Identifier
- ISBN:9783642050893
- Identifier
- ISSN:0302-9743
- Identifier
- mq-rm-2009004457
- Language
- eng
- Reviewed
