@inbook{c22174212dd846a7ab314d85124c01e4,
title = "Security, probability and nearly fair coins in the cryptographers' caf{\'e}",
abstract = "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.",
author = "Annabelle McIver and Larissa Meinicke and Carroll Morgan",
year = "2009",
doi = "10.1007/978-3-642-05089-3_5",
language = "English",
isbn = "9783642050886",
series = "Lecture Notes in Computer Science",
publisher = "Springer, Springer Nature",
pages = "41--71",
editor = "Ana Cavalcanti and Dams, {Dennis R.}",
booktitle = "FM 2009: Formal Methods",
address = "United States",
note = "2nd World Congress on Formal Methods, FM 2009 ; Conference date: 02-11-2009 Through 06-11-2009",
}