Security, probability and nearly fair coins in the cryptographers' café

McIver, Annabelle, Meinicke, Larissa and Morgan, Carroll (2009). Security, probability and nearly fair coins in the cryptographers' café. In: Ana Cavalcanti and Dennis Dams, FM 2009: Formal Methods: SecondWorld Congress proceedings. 2nd World Congress on Formal Methods (FM 2009), Eindhoven, The Netherlands, (41-71). 2-6 November 2009. doi:10.1007/978-3-642-05089-3_5

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads

Author McIver, Annabelle
Meinicke, Larissa
Morgan, Carroll
Title of paper Security, probability and nearly fair coins in the cryptographers' café
Conference name 2nd World Congress on Formal Methods (FM 2009)
Conference location Eindhoven, The Netherlands
Conference dates 2-6 November 2009
Proceedings title FM 2009: Formal Methods: SecondWorld Congress proceedings   Check publisher's open access policy
Journal name Lecture Notes in Computer Science   Check publisher's open access policy
Place of Publication Heidelberg, Germany
Publisher Springer
Publication Year 2009
Sub-type Fully published paper
DOI 10.1007/978-3-642-05089-3_5
Open Access Status
ISBN 9783642050886
3642050883
ISSN 0302-9743
1611-3349
Editor Ana Cavalcanti
Dennis Dams
Volume 5850
Start page 41
End page 71
Total pages 31
Language eng
Formatted Abstract/Summary
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.

Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status Non-UQ

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 3 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 1 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Mon, 14 Nov 2011, 14:55:24 EST by Larissa Meinicke on behalf of School of Information Technol and Elec Engineering