A State-based Approach to Noninterference

Bevier, William R.; Young, William D.

doi:10.3233/jcs-1994/1995-3105

Cited by 7 publications

(14 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The earliest work in this vein appears to be that of Bevier and Young [3]. Unlike most of the subsequent work, Bevier and Young are alert to the issue of collusion: they present an example to justify a component of their definition as necessary in order to deal with inferences by groups of agents.…”

Section: Related Workmentioning

confidence: 99%

“…There have been proposals for semantics of intransitive policies in nondeterministic systems [3,19,13,1,26], but none of these works deals with access control systems with nondeterminism. Our contribution in this paper is to develop the first such generalization, taking as our starting point van der Meyden's formulation of the deterministic case.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Intransitive noninterference in nondeterministic systems

Engelhardt

Meyden

Zhang

2012

Proceedings of the 2012 ACM Conference on Computer and Communications Security

View full text Add to dashboard Cite

This paper addresses the question of how TA-security, a semantics for intransitive information-flow policies in deterministic systems, can be generalized to nondeterministic systems. Various definitions are proposed, including definitions that state that the system enforces as much of the policy as possible in the context of attacks in which groups of agents collude by sharing information through channels that lie outside the system. Relationships between the various definitions proposed are characterized, and an unwindingbased proof technique is developed. Finally, it is shown that on a specific class of systems, access control systems with local nondeterminism, the strongest definition can be verified by checking a simple static property.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Intransitive noninterference in nondeterministic systems

Engelhardt

Meyden

Zhang

2012

Proceedings of the 2012 ACM Conference on Computer and Communications Security

View full text Add to dashboard Cite

show abstract

“…Similarly to the Moore-Mealy distinction for finite state automata, we find two types of models, depending on whether outputs are associated to states [BY94] or actions [GM82,Rus92]. The original definitions assumed deterministic systems, but the focus of subsequent work has been on how to generalize the definitions to nondeterministic systems.…”

Section: State-based Modelsmentioning

confidence: 99%

“…Since it was invented in [GM82], several distinct schools have produced a variety of generalizations of the original notion, each based on their own approach to modelling systems. Existing definitions of noninterference can be roughly classified by whether they are framed in the semantic context of state-based automaton models [GM82,WJ90,Mil90,Rus92,BY94,vO04], trace-based models [McC88,McL94,ZL97,Man00], or process algebraic based models (further divisible into CSP [Hoa85] and CCS [Mil89] based variants) [FG01,Ros95,Rya01].…”

Section: Introductionmentioning

confidence: 99%

A Comparison of Semantic Models for Noninterference

Meyden

Zhang

2007

Formal Aspects in Security and Trust

View full text Add to dashboard Cite

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.

show abstract

“…After that, many kinds of noninterference security models have been established, including Bevier's noninterference model based on state [7] …”

Section: Noninterference Theory Of Information Flowmentioning

confidence: 99%

Security Protection Technology of Cyber-Physical Systems

Yu¹

2015

IJSIA

View full text Add to dashboard Cite

Based on computation and network technology, Cyber-Physical Systems (CPS) has achieved rapid growth but it is faced with increasingly serious security problems and needs targeted security protection technologies. Considering the characteristics of the typical architecture of CPS, this paper integrates the analytical method of information flow based on the noninterference theory and proposes the security protection design of CPS throughformal methods and provides a kind of safety system based on this design framework.

show abstract

A State-based Approach to Noninterference

Cited by 7 publications

References 16 publications

Intransitive noninterference in nondeterministic systems

Intransitive noninterference in nondeterministic systems

A Comparison of Semantic Models for Noninterference

Security Protection Technology of Cyber-Physical Systems

Contact Info

Product

Resources

About