Fred B. Schneider  Home/Search
Context Related
| upenn.edu/~lee/99cis642/99cis64...sp.ps upenn.edu/~lee/99cis642/99cis64...sp.ps upenn.edu/~lee/99cis642/sp.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF Problem Downloading? From: upenn.edu/~lee/99cis64...schedule (more) From: upenn.edu/~lee/99cis64...schedule Homepages: F.Schneider |
Rate this article:      (best)Comment on this article |
Abstract: A precise characterization is given for the class of security policies that can be enforced using mechanisms that work by monitoring system execution, and a class of automata is introduced for specifying those security policies. Techniques to enforce security policies specified by such automata are also discussed. 1 Introduction A security policy defines execution that, for one reason or another, has been deemed unacceptable. For example, a security policy might concern ffl access control, and... (Update)
Cited by: More
Secure Composition of Insecure Components - Sewell, Vitek (1999) (Correct)
Games for Controls - Chatterjee, Jagadeesan, Pitcher (2006) (Correct)
Typed Memory Management via Static Capabilities - David Walker Carnegie (2000) (Correct)
Similar documents (at the sentence level):
33.9%: Enforceable Security Policies - Schneider (1998) (Correct)
Active bibliography (related documents): More All
0.6: Towards Fault-tolerant and Secure Agentry - Schneider (1997) (Correct)
0.2: A Security-Property Language for Self-Certified Code - Bernard (1999) (Correct)
0.2: A Type System for Expressive Security Policies - Cornell (1999) (Correct)
Similar documents based on text: More All
0.2: Access Control - Professor Sushil Jajodia (Correct)
0.2: Computability Classes for Enforcement Mechanisms - Hamlen, Morrisett, Schneider (2003) (Correct)
0.2: Group Principals and the Formalization of Anonymity - Syverson, Stubblebine (1999) (Correct)
Related documents from co-citation: More All
25: Proof-carrying code - Necula - 1997
16: A type system for expressive security policies - Walker - 1999
15: Safe Kernel Extensions Without Run-Time Checking - Necula, Lee - 1996
BibTeX entry: (Update)
Fred B. Schneider. Enforceable Security Policies. Cornell University Technical Report TR98-1664. Jan 1998. http://citeseer.ist.psu.edu/article/schneider98enforceable.html More
@article{ schneider00enforceable,
author = "Fred B. Schneider",
title = "Enforceable security policies",
journal = "Information and System Security",
volume = "3",
number = "1",
pages = "30-50",
year = "2000",
url = "citeseer.ist.psu.edu/article/schneider98enforceable.html" }
Citations (may not include all citations):746 The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1997
566 Proof-carrying code - Necula - 1997
339 Efficient Software-Based Fault Isolation - Wahbe, Lucco et al. - 1993 ACM DBLP
231 Information Processing Letters (context) - Alpern, Schneider - 1985
155 Secure computer systems: Mathematical foundations (context) - Bell, Padula - 1973
137 The design and implementation of a certifying compiler - Necula, amd - 1998 ACM DBLP
134 Formal Languages and Their Relation to Automata (context) - Hopcroft, Ullman - 1969
121 and Machines (context) - Eilenberg - 1974
85 Recognizing safety and liveness - Alpern, Schneider - 1987 ACM DBLP
56 A general theory of composition for trace sets closed under .. - McLean - 1994
48 Java security: Present and near future - Gong - 1997
13 Logical Foundation (context) - Lamport - 1985
12 Kernels for safety (context) - Rushby - 1989
8 the enforcement of software safety policies (context) - Wika, Knight - 1995
7 Letting Loose the Light: Igniting Commerce in Electronic Pub.. (context) - Stefik - 1996
6 IEEE Transactions on Software Engineering SE (context) - Lamport - 1977
4 MiSFIT: A tool for constructing safe extensible C++ systems - Small - 1997
2 From ML to typed assembly language (context) - Morrisett, Walker et al. - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.upenn.edu/~lee/99cis642/99cis642/99cis642/99cis642/schedule.html): More
On Accommodating Mobile Hosts in an Integrated.. - Talukdar, Badrinath.. (1997) (Correct)
Specifying Real-Time Finite-State Systems in Linear Logic - Kanovich, Okada, Scedrov (1998) (Correct)
Detailed Design of Avionics Control Software - Nilsson, Streiffert, Törne (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC