Sciweavers

Share
4 search results - page 1 / 1
» The Inductive Unwinding Theorem for CSP Noninterference Secu...
Sort
View
AFP
2015
Springer
3 years 10 months ago
The Inductive Unwinding Theorem for CSP Noninterference Security
The necessary and sufficient condition for CSP noninterference security stated by the Ipurge Unwinding Theorem is expressed in terms of a pair of event lists varying over the set ...
Pasquale Noce
AFP
2015
Springer
3 years 10 months ago
The Generic Unwinding Theorem for CSP Noninterference Security
The classical definition of noninterference security for a deterministic state machine with outputs requires to consider the outputs produced by machine actions after any trace, ...
Pasquale Noce
AFP
2015
Springer
3 years 10 months ago
The Ipurge Unwinding Theorem for CSP Noninterference Security
The definition of noninterference security for Communicating Sequential Processes requires to consider any possible future, i.e. any indefinitely long sequence of subsequent eve...
Pasquale Noce
ESORICS
2004
Springer
9 years 6 months ago
Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
David von Oheimb
books