@article{2978892,
    title = "Program algebra for QIF",
    author = "Alvim, M.S. and Chatzikokolakis, K. and McIver, A. and Morgan, C. and Palamidessi, C. and Smith, G.",
    journal = "Information Security and Cryptography",
    year = "2020",
    pages = "283-305",
    publisher = "Springer Science and Business Media Deutschland GmbH",
    doi = "10.1007/978-3-319-96131-6_15",
    keywords = "Program algebra",
    abstract = "One of our principal aims in this work is to extend the reliable derivation of implementations from specifications –so long pursued in other areas like functionality, concurrency and probability– to include security as well, and in particular quantitative security. © Springer Nature Switzerland AG 2020."
}