Journal article
Semantic models for information flow
- Abstract:
-
In the past, several definitions of information flow have been presented, based upon process algebras. Unfortunately, all these appear to be either too weak—failing to identify certain subtle forms of information flow or too strong—indicating information flow when there is none. In this paper, we produce a definition that aims to overcome these shortcomings. We base our definition upon an operational model of CSP that reasons about the ways in which nondeterministic choices can be resolved, a...
Expand abstract
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Authors
Funding
Defence and Evaluation Research Agency Malvern
More from this funder
Office of Naval Research
More from this funder
Bibliographic Details
- Publisher:
- Elsevier Publisher's website
- Journal:
- Theoretical Computer Science Journal website
- Volume:
- 315
- Issue:
- 1
- Pages:
- 209–256
- Publication date:
- 2004-05-01
- DOI:
- ISSN:
-
0304-3975
Item Description
- Language:
- English
- Subjects:
- UUID:
-
uuid:1328535a-7eea-4448-bb1c-2675abff432c
- Local pid:
- ora:10792
- Deposit date:
- 2015-03-31
Related Items
Terms of use
- Copyright holder:
- Elsevier BV
- Copyright date:
- 2003
- Notes:
- Copyright 2003 Elsevier B.V. All rights reserved. Re-use of this article is permitted in accordance with the Terms and Conditions set out at http://www.elsevier.com/open-access/userlicense/1.0/
- Licence:
- Other
If you are the owner of this record, you can report an update to it here: Report update to this record