John McLean  Home/Search
Context Related
| navy.mil/ITD/5540/...1994mcleanency.ps navy.mil/publicati...1994mcleanency.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: navy.mil/ITD/5540/person...mclean (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this article we focus on the primary use of security models, which has been to describe general confidentiality requirements. We then give pointers to security model work in other areas. 2 Models of Confidentiality (Update)
Cited by: More
Secure Composition of Insecure Components - Sewell, Vitek (1999) (Correct)
IEEE July 2003 55 - Cover Feature Published (Correct)
Unknown - (Correct)
Active bibliography (related documents): More All
1.1: Expressive Power of the Schematic Protection Model - Sandhu (1992) (Correct)
1.0: The Typed Access Matrix Model - Sandhu (1992) (Correct)
0.5: From Security to Safety and Back - Stavridou, Dutertre (Correct)
Similar documents based on text: More All
0.2: Is the Harrison, Ruzzo, Ullman Undecidable Proof Flawed? - Marrotte (2001) (Correct)
0.0: Monte Carlo Localization With Mixture Proposal Distribution - Thrun, Fox, Burgard (2000) (Correct)
0.0: A characterization of the Petersen-type geometry of.. - Baumeister, Ivanov.. (1998) (Correct)
Related documents from co-citation: More All
15: Information and Computation (context) - Milner, Parrow et al. - 1992
13: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
12: The SLam calculus: Programming with secrecy and integrity - Heintze, Riecke - 1998
BibTeX entry: (Update)
J. McLean. Security models. In J. Marciniak, editor, Encyclopedia of Software Engineering. Wiley Press, 1994. http://citeseer.ist.psu.edu/mclean94security.html More
@incollection{ mclean94security,
author = "J. {McLean}",
title = "Security Models",
booktitle = "Encyclopedia of Software Engineering",
publisher = "John Wiley \& Sons",
editor = "J. Marciniak",
year = "1994",
url = "citeseer.ist.psu.edu/mclean94security.html" }
Citations (may not include all citations):265 Secure computer systems: Unified exposition and multics inte.. (context) - Bell, LaPadula - 1975
244 Cryptography and Data Security (context) - Denning - 1982 ACM DBLP
196 A lattice model of secure information flow (context) - Denning - 1976 ACM DBLP
173 A comparison of commercial and military computer security po.. (context) - Clark, Wilson - 1987 DBLP
170 Security policies and security models (context) - Goguen, Meseguer - 1982 DBLP
153 A note on the confinement problem - Lampson - 1973 ACM DBLP
124 Protection in operating systems (context) - Harrison, Ruzzo et al. - 1976 ACM DBLP
77 Unwinding and inference control (context) - Goguen, Meseguer - 1984 DBLP
60 Specifications for multi-level security and a hook-up proper.. (context) - McCullough - 1987 DBLP
55 Security models and information flow - McLean - 1990 DBLP
53 The sea view security model (context) - Denning, Lunt et al. - 1988
52 The typed access matrix model - Sandhu - 1991 ACM
51 Information flow in nondeterministic systems (context) - Wittbold, Johnson - 1990 DBLP
50 A model of information (context) - Sutherland - 1986
41 Toward a mathematical foundation for information flow securi.. (context) - Gray - 1991 DBLP
37 IEEE Transactions on Computers (context) - Boehm - 1976
33 Probabilistic interference (context) - Gray - 1990 DBLP
28 The schematic protection model: Its definition and analysis .. (context) - Sandhu - 1988 DBLP
27 Protection -- principles and practice (context) - Graham, Denning - 1972
24 A resource allocation model for denial of service - Millen - 1992
22 An analysis of covert timing channels (context) - Wray - 1991 DBLP
21 A logical approach to multilevel security of probabilistic s.. - Gray, Syverson - 1992 ACM DBLP
19 A technique for proving specifications are multilevel secure (context) - Feiertag - 1980
19 The specification and modeling of computer security - McLean - 1990 ACM DBLP
17 IEEE Transactions on Software Engineering (context) - McCullough, theorem et al. - 1990
17 Proving noninterference and functional correctness using tra.. - McLean - 1992 DBLP
16 Information transmission in computational systems (context) - Cohen - 1977 ACM DBLP
16 A note on the denial-of-service problem (context) - Gligor - 1983 ACM DBLP
15 A linear time algorithm for deciding security (context) - Jones, Lipton et al. - 1976 DBLP
14 The channel capacity of a certain noisy timing channel (context) - Moskowitz, Miller - 1992
13 the derivation of secure components (context) - Jacob - 1989
11 Monotonic protection systems (context) - Harrison, Ruzzo - 1978
11 A model for verification of data security in operating syste.. (context) - Popek, Farber - 1978 ACM DBLP
10 Covert channel capacity (context) - Millen - 1987 DBLP
9 A specification and verification method for preventing denia.. (context) - Yu, Gligor - 1990
9 The transfer of information and authority in a protection sy.. (context) - Bishop, Snyder - 1979 ACM DBLP
9 basic security theorem (context) - McLean, on - 1985
8 A security model for military message systems (context) - Landwehr, Heitmeyer et al. - 1984 ACM DBLP
8 Extending the creation operation in the schematic protection.. (context) - Ammann, Sandhu - 1990
6 Using traces based on procedure calls to reason about compos.. (context) - Meadows - 1992
5 Elementary Information Theory (context) - Jones - 1979
4 On synchronization and security (context) - Lipton, Snyder - 1978
3 Theft and conspiracy in the take-grant model (context) - Snyder - 1981
3 Some variants of the take-grant protection model (context) - Biskup - 1984 ACM DBLP
2 Share resource matrix methodology: An approach to identifyin.. (context) - Kemmerer - 1983
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.itd.nrl.navy.mil/ITD/5540/personnel/mclean.html): More
A Comment on the "Basic Security Theorem" of Bell and LaPadula* - John Mclean (1984) (Correct)
A General Theory of Composition for Trace Sets Closed Under.. - McLean (1994) (Correct)
Security Models and Information Flow - McLean (1990) (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