TY - JOUR
TI - Program algebra for QIF
AU - Alvim, M.S.
AU - Chatzikokolakis, K.
AU - McIver, A.
AU - Morgan, C.
AU - Palamidessi, C.
AU - Smith, G.
JO - Information Security and Cryptography
PY - 2020
VL - null
TODO - null
SP - 283-305
PB - Springer Science and Business Media Deutschland GmbH
SN - null
TODO - 10.1007/978-3-319-96131-6_15
TODO - Program algebra
TODO - 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.
ER -