Calculating Quantitative Integrity and Secrecy for Imperative Programs

Tom Chothia, Chris Novakovic, Rajiv Ranjan Singh

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	23-46
Journal	International Journal of Secure Software Engineering
Volume	6
Issue number	2
DOIs	https://doi.org/10.4018/IJSSE.20150401
Publication status	Published - 1 Apr 2015

Access to Document

@article{fdcfdc25ac374b43b5fd3b8fefb959f0,

title = "Calculating Quantitative Integrity and Secrecy for Imperative Programs",

author = "Tom Chothia and Chris Novakovic and Singh, {Rajiv Ranjan}",

year = "2015",

month = apr,

day = "1",

doi = "10.4018/IJSSE.20150401",

language = "English",

volume = "6",

pages = "23--46",

journal = "International Journal of Secure Software Engineering",

issn = "1947-3036",

publisher = "IGI Global",

number = "2",

}

TY - JOUR

T1 - Calculating Quantitative Integrity and Secrecy for Imperative Programs

AU - Chothia, Tom

AU - Novakovic, Chris

AU - Singh, Rajiv Ranjan

PY - 2015/4/1

Y1 - 2015/4/1

U2 - 10.4018/IJSSE.20150401

DO - 10.4018/IJSSE.20150401

M3 - Article

SN - 1947-3036

VL - 6

SP - 23

EP - 46

JO - International Journal of Secure Software Engineering

JF - International Journal of Secure Software Engineering

IS - 2

ER -