loading...
Noninterference Equations for Nondeterministic Systems
Cape Breton, Novia Scotia, Canada June 11-June 13
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSFW.2001.93013214th IEEE Computer Security Foundatio ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Sylvan Pinsky, Edward Zieglar, "Noninterference Equations for Nondeterministic Systems," Computer Security Foundations Workshop, IEEE, pp. 0003, 14th IEEE Computer Security Foundations Workshop (CSFW'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/CSFW.2001.930132,
author = {Sylvan Pinsky and Edward Zieglar},
title = {Noninterference Equations for Nondeterministic Systems},
journal ={Computer Security Foundations Workshop, IEEE},
volume = {0},
year = {2001},
isbn = {0-7695-1146-5},
pages = {0003},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSFW.2001.930132},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Security Foundations Workshop, IEEE
TI - Noninterference Equations for Nondeterministic Systems
SN - 0-7695-1146-5
SP
EP
A1 - Sylvan Pinsky,
A1 - Edward Zieglar,
PY - 2001
VL - 0
JA - Computer Security Foundations Workshop, IEEE
ER -
 
Sylvan Pinsky, National Security Agency
Edward Zieglar, National Security Agency
Abstract: This paper reduces the satisfiability of noninterference to the solution of a finite set of equations. We use the structure of labelled transition systems, which are the basis for state machines and process algebras, to explicitly model the relationship between states, actions, and outputs. The output constraint equations are developed by constructing a predicate for nondeterministic systems and expressing noninterference as an invariance property of the predicate. The finiteness of the equations comes from a closure property of the predicate and the use of finite state machines.
Citation:
Sylvan Pinsky, Edward Zieglar, "Noninterference Equations for Nondeterministic Systems," csfw, pp.0003, 14th IEEE Computer Security Foundations Workshop (CSFW'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions