Ramesh Peri  Home/Search
Context
Related
| virginia.edu/pub/dissertati...9603.ps.Z 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 From: virginia.edu/pub/dissert...README (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Computer security is the protection of the resources of a computer against events that can result in loss of availability, unauthorized access, or modification of data. The techniques devised to protect computers from these attacks are general purpose in nature and therefore cannot directly enforce security that has no universal definition. The high degree of assurance in security properties of systems used in security-critical areas such as military and commerce is usually achieved by... (Update)
Active bibliography (related documents): More All
1.3: A Guide to Understanding Security Modeling in Trusted Systems - NCSC (1992) (Correct)
1.1: Security Design In Distributed Computing Applications - Zeleznik (1993) (Correct)
0.8: The Distributed Compartment Model for Resource Management .. - Greenwald, Newman-Wolfe (1994) (Correct)
Similar documents based on text: More All
0.6: Addressing Mode Driven Low-Power Data Caches for Embedded .. - Peri, Fernando, Kolagotla (2004) (Correct)
0.2: A Method for Examining Cryptographic Protocols - Tjaden (1997) (Correct)
0.2: Moderate Nonconvexity = Convexity + Quadratic Concavity - Kojima, Matsumoto, al. (1999) (Correct)
BibTeX entry: (Update)
@phdthesis{ peri96specification,
author = "Ramesh V. Peri",
title = "Specification and Verification of Security Policies",
year = "1996",
url = "citeseer.ist.psu.edu/peri96specification.html" }
Citations (may not include all citations):4212 Computers and Intractability: A Guide to the Theory of NP-Co.. (context) - Garey, Johnson - 1979
539 The Temporal Logic of Programs (context) - Pnueli - 1977
244 Cryptography and Data Security (context) - Denning - 1983
231 Information Processing Letters (context) - Alpern, Schneider - 1985
200 Prentice Hall International Series in Computer Science (context) - Spivey, 'The et al. - 1987
196 A Lattice Model of Secure Information Flow (context) - Denning - 1976
173 A Comparison of Commercial and Military Computer Security Po.. (context) - Clark, Wilson - 1987
170 Security Policies and Security Models (context) - Goguen, Meseguer - 1982
168 Temporal Logic of Actions - Lamport - 1993
124 Protection in Operating Systems (context) - Harrison - 1976
93 The Chinese Wall Security Policy (context) - Brewer, Nash - 1989
85 Formal Models for Computer Security (context) - Landwehr - 1981
81 Hydra - The Kernel of a Multiprocessor Operating System (context) - Wulf - 1974
77 Unwinding and Inference Control (context) - Goguen, Meseguer - 1984
60 Specifications for Multi-level Security and Hook-Up Property (context) - McCullough - 1987
59 the Relation of Programs and Computations to Models of Tempo.. (context) - Wolper - 1987
56 A general Theory of Composition for Trace Sets Closed Under .. - McLean - 1994
55 Security Models and Information Flow - McLean - 1990
53 The SeaView Security Model (context) - Denning, Lunt - 1988
51 Information Flow in Non-Deterministic Systems (context) - Wittbold, Johnson - 1990
51 Security in Computing (context) - Pfleeger - 1989
46 The COPS Security Checker System - Farmer, Spafford - 1990
45 Noninterference and the Composability of Security Properties (context) - McCullough - 1988
28 The Schematic Protection Model: Its definition and Analysis .. (context) - Sandhu - 1988
22 On Access Checking in Capability based systems - Kain, Landwehr - 1985
22 The Algebra of Security (context) - McLean - 1988
21 Non-Discretionary Controls for Commercial Applications (context) - Lipner - 1982
21 Specification and Verification of the UCLA Unix Security Ker.. (context) - Walker - 1980
21 Formal Models of Capability-Based Protection Systems (context) - Snyder - 1981
20 A Logic for Reasoning About Security (context) - Glasgow, MacEwen - 1990
20 A Logic for Reasoning About Security (context) - Glasgow, MacEwen - 1993
18 A Linear Time Algorithm for Deciding Subject Security (context) - Lipton, Snyder - 1977
16 Transformation of Access Rights (context) - Sandhu - 1989
13 The Extended Schematic Protection Model (context) - Amman, Sandhu - 1992
13 Verifying Security (context) - Cheheyl - 1981
12 A Logical View of Composition - Abadi, Plotkin - 1992
11 A Model for Verification of Data Security in Operating Syste.. (context) - Popek, Farber - 1978
11 Department of Defense Trusted Computer System Evaluation Cri.. (context) - -STD - 1985
9 A Logical Analysis of Authorized and Prohibited Information .. (context) - Cuppens - 1993
8 A Framework for Expressing Models of Security Policy (context) - Dobson, McDermid - 1989
7 Reasoning about Security Models (context) - McLean - 1987
7 Issues in Discretionary Access Control (context) - Downs - 1985
7 Security Specifications (context) - Jacob - 1988
6 The Enforcement of Security Policies for Computation (context) - Jones, Lipton - 1978
6 Extended Discretionary Access Controls (context) - Vinter - 1988
6 A Model for Specifying Multi-Granularity Integrity Policies (context) - Badger - 1989
6 A Model for Secure Information Flow (context) - Foley - 1989
6 Secure Computer Systems (context) - Bell, LaPadula - 1974
6 Reasoning About Knowledge in Multilevel Secure Distributed S.. (context) - Glasgow, MacEwen - 1988
5 Theft of Information in Take-Grant Protection Model (context) - Bishop - 1991
5 Using Mandatory Integrity to Enforce Commercial Security (context) - Lee - 1988
4 Constructively Using Noninterference to Analyze Systems (context) - Fine - 1990
4 The Development and Proof of a Formal Specification for a Mu.. (context) - Glasgow, MacEwen - 1987
4 Protection Mechanism Models: Their Usefulness (context) - Jones - 1978
4 Secure Information Flow Using Security Groups (context) - Foley - 1990
3 Structuring Systems for Formal Verification (context) - Neely, Freeman - 1985
3 Compartmented Mode Workstation: Results through prototyping (context) - Cummings, Fullam et al. - 1987
3 A Formal Protection Model of Security in Centralized (context) - Benson, Akyildiz et al. - 1990
3 Extending INA JO with Temporal Logic (context) - Wing, Nixon - 1986
2 th National Security Conference (context) - Sutherland - 1986
2 The SeaView Verification (context) - Whitehurst, Lunt - 1989
2 A Taxonomy of Information Flow Policies (context) - Foley - 1989
2 A Formal Statement of the MMS Security Model (context) - McLean - 1984
2 Concerning Modeling of Computer Security (context) - Bell - 1988
2 Theoretical Issues Concerning Protection in Operating System.. (context) - Harrison - 1985
2 A Graph-Theoretic Formulation of Multilevel Secure Distribut.. (context) - Williams, Dinolt - 1987
1 Formal Specification of Information Flow Security Policies a.. (context) - Peri, Wulf - 1994
1 On Refinement of Non-Interference (context) - Cumming - 1991
1 DEC-SRC Technical Report (context) - Abadi, Lamport - 1990
1 Practical take-grant systems: Do they exist (context) - Bishop - 1984
1 System Design and Verification (context) - Boebert, Kain et al. - 1985
1 Typed Access matrix Mode (context) - Sandhu - 1992
1 Stating Security Requirements with Tolerable Sets (context) - Johnson, Thayer - 1988
Documents on the same site (ftp://ftp.cs.virginia.edu/pub/dissertations/README.html): More
Custom Embedded Counterflow Pipelines - Childers (2000) (Correct)
Spanning Trees in Hypergraphs with Applications to Steiner Trees - Warme (1998) (Correct)
On the Acceleration of Simulated Annealing - Varanelli (1996) (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