Program algebra for QIF

Mário S. Alvim; Konstantinos Chatzikokolakis; Annabelle McIver; Carroll Morgan; Catuscia Palamidessi; Geoffrey Smith

doi:10.1007/978-3-319-96131-6_15

Program algebra for QIF

Mário S. Alvim
, Konstantinos Chatzikokolakis
, Annabelle McIver
, Carroll Morgan
, Catuscia Palamidessi
, Geoffrey Smith

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

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.

Original language	English
Title of host publication	Information Security and Cryptography
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	283-305
Number of pages	23
DOIs	https://doi.org/10.1007/978-3-319-96131-6_15
Publication status	Published - 1 Jan 2020

Publication series

Name	Information Security and Cryptography
ISSN (Print)	1619-7100
ISSN (Electronic)	2197-845X

Access to Document

10.1007/978-3-319-96131-6_15

Cite this

@inbook{39fc99c283364e45b2decac2053cea04,

title = "Program algebra for QIF",

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.",

author = "Alvim, \{M{\'a}rio S.\} and Konstantinos Chatzikokolakis and Annabelle McIver and Carroll Morgan and Catuscia Palamidessi and Geoffrey Smith",

note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2020.",

year = "2020",

month = jan,

day = "1",

doi = "10.1007/978-3-319-96131-6\_15",

language = "English",

series = "Information Security and Cryptography",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "283--305",

booktitle = "Information Security and Cryptography",

}

TY - CHAP

T1 - Program algebra for QIF

AU - Alvim, Mário S.

AU - Chatzikokolakis, Konstantinos

AU - McIver, Annabelle

AU - Morgan, Carroll

AU - Palamidessi, Catuscia

AU - Smith, Geoffrey

PY - 2020/1/1

Y1 - 2020/1/1

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/85091574927

U2 - 10.1007/978-3-319-96131-6_15

DO - 10.1007/978-3-319-96131-6_15

M3 - Chapter

AN - SCOPUS:85091574927

T3 - Information Security and Cryptography

SP - 283

EP - 305

BT - Information Security and Cryptography

PB - Springer Science and Business Media Deutschland GmbH

ER -

Program algebra for QIF

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this