Enforceable Security Policies

Enforceable Security Policies

Cached

Download Links

by Fred B. Schneider

Citations:

BibTeX

@MISC{Schneider_enforceablesecurity,
    author = {Fred B. Schneider},
    title = {Enforceable Security Policies},
    year = {}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

1022	The Java Virtual Machine Specification - Lindholm, Yellin - 1996
1016	Proof-carrying code - NECULA - 1997
619	Security Policy and Security Models - Goguen, Meseguer - 1982
593	Partial Evaluation and Automatic Program Generation - Jones, Gomard, et al. - 1993
557	From system F to typed assembly language - MORRISETT, WALKER, et al. - 1998
363	Guarded commands, nondeterminacy and formal derivation of programs - Dijkstra - 1975
350	F.B.: Defining liveness - Alpern, Schneider - 1985
274	Proving the Correctness of Multiprocess Programs - Lamport - 1977
245	The design and implementation of a certifying compiler - Necula, Lee - 1998
238	Formal Languages and Their Relation to Automata - Hopcroft, Ullman - 1969
179	SASI enforcement of security policies: a retrospective - Erlingsson, Schneider - 1999
172	A logical language for expressing authorizations - Jajodia, Samarati, et al. - 1997
145	Recognizing safety and liveness - Alpern, Schneider - 1987
132	Flexible policy-directed code safety - Evans, Twyman - 1999
132	A general theory of composition for trace sets closed under selective interleaving functions - McLean - 1994
76	Protection - Lampson - 1971
67	On the formal definition of separation-of-duty policies and their composition - Gligor, Gavrila, et al. - 1998
59	History-based access control for mobile code - Edjlali, Acharya, et al. - 1999
57	Java Security: Present and Near Future - Gong - 1997
37	Verifying temporal properties without temporal logic - Alpern, Schneider - 1989
27	Kernels for Safety - Rushby - 1989
19	Providing Policy-Neutral and Transparent Access Control in Extensible Systems - Grimm, Bershad - 1999
18	Providing Fine-Grained Access Control For Mobile Programs Through Binary Editing - Pandey, Hashii - 1998
16	A note on denial-of-service in operating systems - Gligor - 1984
11	Verifying temporal properties without using temporal logic - Alpern, Schneider - 1989
11	Logical foundation - Lamport - 1985
7	The DIAMOND security policy for object-oriented databases - Null, Wong - 1992
5	Reconciling behavioral mismatch through component restriction - Marchukov, Sullivan - 1999
1	Enforceable Security Policies * 19 - Saltzer, Schroeder - 1975
1	Enforceable Security Policies • 49 - EVANS, A - 1999