Output details
11 - Computer Science and Informatics
Queen Mary University of London
Article title
Risk assessment of security threats for looping constructs.
Type
D - Journal article
Title of journal
Journal of Computer Security
Article number
2
Volume number
18
Issue number
2
First page of article
191
ISSN of journal
0926-227X
Year of publication
2010
Number of additional authors
0
Additional information
<10>This work is about quantifying leakage of confidential information in programs. It provides the first precise information-theoretic semantics of while loops. The semantics describes both the amount and rate of leakage; if either is small enough, then a program might be deemed 'secure'. This paper generated great interest as witnessed by the review on the popular lambda-the-ultimate.org blog. This ground-breaking work on quantitative information flow applied to security also led to the invitation as keynote speaker at the Computer Aided Verification 2010 conference.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
3
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-