| |
McLean, John |
 |
|
| |
|
Date Reviewed |
|
 |
|
|
|
| |
1 - 4
of 4 reviews |
|
|
|
|
|
|
| |
A General Theory of Composition for a Class of "Possibilistic" Properties
McLean J. IEEE Transactions on Software Engineering 22(1): 53-67, 1996. Type: Article
About two decades ago, the United States Department of Defense manifested a concern with Trojan horses--methods and devices that could be used by unauthorized individuals to view (as distinct from alter) information being proc...... |
Nov 1 1996 |
|
|
|
|
|
| |
The Specification and Modeling of Computer Security
McLean J. Computer 23(1): 9-16, 1990. Type: Article
The Bell and LaPadula definition of security for computer systems has been widely used for some years as the model followed in the National Computer Security Center’s evaluation process for trusted computer systems. This pape...... |
Oct 1 1990 |
|
|
|
|
|
| |
A comment on the ‘basic security theorem’ of Bell and LaPadula
McLean J. Information Processing Letters 20(2): 67-70, 1985. Type: Article
This paper presents a clarification of the role that the Basic Security Theorem (BST) of Bell and LaPadula plays in the security model developed by those authors [1]. The major point made is that this role is essentially independent of...... |
Dec 1 1985 |
|
|
|
|
|
| |
A Formal Method for the Abstract Specification of Software
McLean J. Journal of the ACM 31(3): 600-627, 1984. Type: Article
An intuitive presentation of the trace method for the abstract specification of software contains sample specifications, syntactic and semantic definitions of specifications, syntactic and semantic definitions of consistency and totaln...... |
Mar 1 1985 |
|
|
|
|
|
|
|
|
| |
|
|
