Journal article icon

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
Version:
Publisher's version

Actions


Access Document


Files:
Publisher copy:
10.1016/j.tcs.2003.11.019

Authors


More by this author
Institution:
University of Oxford
Department:
Mathematical, Physical & Life Sciences Division - Department of Computer Science
Defence and Evaluation Research Agency Malvern More from this funder
Office of Naval Research More from this funder
Publisher:
Elsevier Publisher's website
Journal:
Theoretical Computer Science Journal website
Volume:
315
Issue:
1
Pages:
209–256
Publication date:
2004-05-05
DOI:
ISSN:
0304-3975
URN:
uuid:1328535a-7eea-4448-bb1c-2675abff432c
Local pid:
ora:10792
Language:
English
Subjects:

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP