A comparison of semantic models for noninterference

Authors:
Ron van der Meyden;Chenyi Zhang
Affiliations:
School of Computer Science and Engineering, University of New South Wales, Australia and National ICT Australia, Sydney, Australia;School of Computer Science and Engineering, University of New South Wales, Australia and National ICT Australia, Sydney, Australia and Université du Luxembourg, Luxembourg
Venue:
Theoretical Computer Science
Year:
2010

Citing 16
Cited 3

Communicating sequential processes

Communicating sequential processes
A Hookup Theorem for Multilevel Security

IEEE Transactions on Software Engineering
Of wp and CSP

Beauty is our business
Process algebra and non-interference

Journal of Computer Security
Communication and Concurrency

Communication and Concurrency
Mathematical Models of Computer Security

FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures
Classification of Security Properties (Part I: Information Flow)

FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures
Proof of separability: A verification technique for a class of a security kernels

Proceedings of the 5th Colloquium on International Symposium on Programming
Formal Construction of the Mathematically Analyzed Separation Kernel

ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Possibilistic Definitions of Security - An Assembly Kit

CSFW '00 Proceedings of the 13th IEEE workshop on Computer Security Foundations
A General Theory of Composition for Trace Sets Closed under Selective Interleaving Functions

SP '94 Proceedings of the 1994 IEEE Symposium on Security and Privacy
CSP and determinism in security modelling

SP '95 Proceedings of the 1995 IEEE Symposium on Security and Privacy
A general theory of security properties

SP '97 Proceedings of the 1997 IEEE Symposium on Security and Privacy
A unifying approach to the security of distributed and multi-threaded programs

Journal of Computer Security - Special issue on CSFW14
Bridging language-based and process calculi security

FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
What, indeed, is intransitive noninterference?

ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security

Conditional information flow policies and unwinding relations

TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Intransitive noninterference in nondeterministic systems

Proceedings of the 2012 ACM conference on Computer and communications security
Information flow in systems with schedulers, Part I: Definitions

Theoretical Computer Science

Quantified Score

Hi-index	5.23

Visualization

Abstract

The literature on definitions of security based on causality-like notions such as noninterference has used several distinct semantic models for systems. Early work was based on state machine and trace-set definitions; more recent work has dealt with definitions of security in two distinct process algebraic settings. Comparisons between the definitions has been carried out mainly within semantic frameworks. This paper studies the relationship between semantic frameworks, by defining mappings between a number of semantic models and studying the relationship between notions of noninterference under these mappings.