John McLean  Home/Search
Context Related
| virginia.edu/~surv...mcleancomputer.ps navy.mil/ITD/5540/...mcleancomputer.ps navy.mil/ITD/5540/...cleancomputer.pdf 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/~survive/comp_sec (more) From: navy.mil/ITD/5540/person...mclean (Enter author homepages) |
Rate this article:      (best)View Comments (0) |
Abstract: This paper provides an introduction to computer security modeling in general, the Bell and LaPadula model in particular, and the limitations of the model. Many of the issues raised are of interest not simply to the security community, but for the software specification community as a whole. We then construct a framework for security models that address these limitations. The result is a model that not only better addresses government security policies, but nongovernment security policies as... (Update)
Context of citations to this paper: More
...semantics or a security logic is just a definition, not subject to any further mathematical justification. McLean points out [30] in a related discussion about the (non language specific) Bell and LaPadula model: One problem is that : they [the Bell LaPadula...
...of analysis tool or technique. Techniques to specify guidelines for security protocol design and modelling have also been presented [2, 21, 18, 3]. The development of cryptographic logics to analyze security protocols has provided one technique for ensuring the correctness of...
Cited by: More
Security Policy Enforcement in the Antigone System - McDaniel, Prakash (2005) (Correct)
Probabilistic Noninterference for Multi-threaded Programs - Andrei Sabelfeld David (1999) (Correct)
A Model for Delimited Information Release - Sabelfeld, Myers (2004) (Correct)
Active bibliography (related documents): More All
0.6: Proving Noninterference and Functional Correctness Using Traces - John Mclean (1992) (Correct)
0.6: Security Models and Information Flow - McLean (1990) (Correct)
0.3: Authorization in Distributed Systems: A Formal Approach - Woo, Lam (1992) (Correct)
Similar documents based on text: More All
0.2: An Overview of Computer Viruses in a Research Environment - Bishop (1992) (Correct)
0.2: Lattice-Based Enforcement of Chinese Walls - Sandhu (1992) (Correct)
0.1: A Framework for Modelling Trojans and Computer Virus.. - Thimbleby, Anderson, Cairns (1999) (Correct)
Related documents from co-citation: More All
12: Security policies and security models (context) - Goguen, Meseguer - 1982
9: Specifications for multi-level security and hook-up property (context) - McCullough - 1987
8: A Per model of secure information flow in sequential programs - Sabelfeld, Sands - 1998
BibTeX entry: (Update)
J. McLean. The Specification and Modeling of Computer Security. IEEE Computer, 23(1):9-- 16, January 1990. http://citeseer.ist.psu.edu/mclean90specification.html More
@article{ mclean90specification,
author = "John McLean",
title = "The Specification and Modeling of Computer Security",
journal = "IEEE Computer",
volume = "23",
number = "1",
pages = "9-16",
year = "1990",
url = "citeseer.ist.psu.edu/mclean90specification.html" }
Citations (may not include all citations):265 Secure Computer System: Unified Exposition and Multics Inter.. (context) - Bell, LaPadula - 1976
244 Cryptography and Data Security (context) - Denning - 1982
223 The Structure of Scientific Revolutions (context) - Kuhn - 1970
170 Security Policies and Security Models (context) - Goguen, Meseguer - 1982
45 Noninterference and the Composability of Security Properties (context) - McCullough - 1988
22 The Algebra of Security (context) - McLean - 1988
22 A Comparison of Commercial and Military Security Policies (context) - Clark, Wilson - 1987
15 A Formal Method for the Abstract Specification of Software (context) - McLean - 1984
15 A Security Model for Military Message Systems - Landwehr, Heitmeyer et al. - 1984
11 A Comment on the 'Basic Security Theorem' of Bell and LaPadu.. - McLean - 1985
10 Using Traces To Write Abstract Specifications For Software M.. (context) - Bartussek, Parnas - 1977
5 The SeaView Formal Security Policy Model (context) - Denning, Lunt et al. - 1987
2 A Comparison of Formal Security Models (context) - Haigh - 1984
2 Abstract Requirements: A New Approach and Its Application (context) - Heitmeyer, McLean - 1983
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.virginia.edu/~survive/comp_sec.html): More
A Sanctuary for Mobile Agents - Yee (1997) (Correct)
Limitations of Logical Analysis of Cryptographic Protocols - Boyd, Mao (1993) (Correct)
Prudent Engineering Practice for Cryptographic Protocols - Abadi, Needham (1995) (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