Τίτλος:
Program algebra for QIF
Γλώσσες Τεκμηρίου:
Αγγλικά
Περίληψη:
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.
Συγγραφείς:
Alvim, M.S.
Chatzikokolakis, K.
McIver, A.
Morgan, C.
Palamidessi, C.
Smith, G.
Περιοδικό:
Information Security and Cryptography
Εκδότης:
Springer Science and Business Media Deutschland GmbH
Λέξεις-κλειδιά:
Program algebra
DOI:
10.1007/978-3-319-96131-6_15