Reference : A Comparison of Semantic Models for Noninterference
Scientific journals : Article
Engineering, computing & technology : Computer science
Engineering, computing & technology : Multidisciplinary, general & others
A Comparison of Semantic Models for Noninterference
van der Meyden, R. [> >]
Zhang, Chenyi [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Theoretical Computer Science
Yes (verified by ORBilu)
[en] Computer security ; Noninterference ; Information flow ; Comparison
[en] 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.

File(s) associated to this reference

Fulltext file(s):

Limited access
1-s2.0-S0304397510004482-main.pdfPublisher postprint633.54 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.