Reference : A Comparison of Semantic Models for Noninterference
Scientific journals : Article
Engineering, computing & technology : Computer science
Engineering, computing & technology : Multidisciplinary, general & others
http://hdl.handle.net/10993/16036
A Comparison of Semantic Models for Noninterference
English
van der Meyden, R. [> >]
Zhang, Chenyi [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
19-Aug-2010
Theoretical Computer Science
Elsevier
411
47
4123–4147
Yes (verified by ORBilu)
0304-3975
[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.
http://hdl.handle.net/10993/16036
10.1016/j.tcs.2010.08.013

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
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.