Applying the Doubly Labeled Transition System to the Refinement Paradox

Applying the Doubly Labeled Transition System to the Refinement Paradox (2005)

Cached

Download Links

by David L. Bibighaus

Citations:

BibTeX

@MISC{Bibighaus05applyingthe,
    author = {David L. Bibighaus},
    title = { Applying the Doubly Labeled Transition System to the Refinement Paradox},
    year = {2005}
}

Bookmark

OpenURL

Abstract

Citations

3118	Communicating sequential processes - Hoare - 1978
2970	Communication and Concurrency - Milner - 1989
909	Introduction to Lattices and Order - Davey, Priestley - 1990
619	Security policies and security models - Goguen, Meseguer - 1982
515	Secure computer system: unified exposition and MULTICS interpretation - Bell, LaPadula - 1976
478	A lattice model of secure information flow - DENNING - 1976
350	F.B.: Defining liveness - Alpern, Schneider - 1985
345	A sound type system for secure flow analysis - Volpano, Irvine, et al. - 1996
339	A note on the confinement problem - Lampson
165	A theory of abstraction - Giunchiglia, Walsh - 1992
132	A general theory of composition for trace sets closed under selective interleaving functions - McLean - 1994
108	A model of information - Sutherland - 1986
105	Specification for Multi-Level Security and a Hook-Up Property - McCullough - 1987
104	Design and Verification of Secure Systems - Rushby - 1981
101	Security models and information flow - McLean - 1990
100	Noninterference, transitivity, and channel-control security policies - Rushby - 1992
94	A Modal Process Logic - Larsen, Thomsen - 1988
82	Noninterference and the composability of security properties - McCullough - 1988
79	R.: Classification of Security Properties (Part I: Information - Focardi, Gorrieri - 2001
77	The structure of “THE”-multiprogramming system - Dijkstra - 1982
75	Modal transition systems: A foundation for three-valued program analysis - Huth, Jagadeesan, et al. - 2001
73	CSP and determinism in security modelling - Roscoe - 1995
69	Security models - McLean - 1994
61	Limits for automatic verification of finite-state concurrent systems - Apt, Kozen - 1986
56	G.: Eliminating covert flows with minimum typings - Volpano, Smith - 1997
49	Possiblistic definitions of security – an assembly kit - Mantel - 2000
48	Adding action refinement to a finite process algebra - Aceto, Hennessy - 1989
46	An analysis of covert timing channels - Wray - 1991
46	A general theory of composition for a class of “possibilistic” properties - McLean - 1996
42	Proving noninterference and functional correctness using traces - McLean - 1992
39	A hookup theorem for multilevel security - McCullough - 1990
38	On the derivation of secure components - Jacob - 1989
35	Secure information flow in computer systems - Denning - 1975
32	A Calculus of Information Flow - O’Halloran - 1990
32	On the Composition of Secure Systems - Mantel - 2002
24	A practical approach to identifying storage and timing channels - Kemmerer - 1982
23	Preserving information flow properties under refinement - Mantel - 2001
23	Interference control and unwinding - Goguen, Meseguer - 1984
19	Proof techniques for hierarchically structured programs - Robinson, Levitt - 1977
14	Refinement operators and information flow security - Bossi, Focardi, et al. - 2003
14	A Model for Verification of Data Security in Operating Systems - Popek, Farber - 1978
12	Criteria Project Sponsoring Organizations. Common Criteria for Information Technology Security Evaluation - Common - 1999
12	Comparison paper between the Bell and LaPadula model and the SRI model - Taylor - 1984
12	End-to-end availability policies and noninterference - Zheng, Myers - 2005
9	Structure-preserving binary relations for program abstraction - Schmidt
9	Reduction and refinement - Boiten, Grundy - 2008
9	Computer security technology planning study (Tech. Rep. ESD-TR-73-51, Vols - Anderson - 1972
8	A classical automata approach to noninterference type problems - Moskowitz, Costich - 1992
7	On the computational complexity of bisimulation - Moller, Smolka - 1995
6	Binary relations for abstraction and refinement - Schmidt - 1999