| An insecurity flow model |
| Full text |
Pdf
(1.36 MB)
|
| Source
|
New Security Paradigms Workshop
archive
Proceedings of the 1997 workshop on New security paradigms
table of contents
Langdale, Cumbria, United Kingdom
Pages: 61 - 74
Year of Publication: 1998
ISBN:0-89791-986-6
|
|
Authors
|
|
Ira S. Moskowitz
|
Centerfor High Assurance Computer Systems, Information Technology Division, Mail Code 5540, Naval Research Laboratory, Washington, DC
|
|
Myong H. Kang
|
Centerfor High Assurance Computer Systems, Information Technology Division, Mail Code 5540, Naval Research Laboratory, Washington, DC
|
|
| Sponsor |
|
| Publisher |
|
| Bibliometrics |
Downloads (6 Weeks): 1, Downloads (12 Months): 11, Citation Count: 8
|
|
|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
B
|
W. E. Boebert and R. Y. Kain, "A Practical Alternative to Hierarchical Integrity Policies," Proc. 8th National Computer Security Conference, Gaithersburg, MD, 1985.
|
| |
C
|
OMG, "CORBA Security," version 1.1 OMG document Numbers 96-08-03 through 96-08-06, 1996.
|
| |
D1
|
M. Dacier, "Towards Quantitative Evaluation of Computer Security," Doctoral Thesis, LAAS 94488 (in French), Institut National Polytechnique de Toulouse, Dec. 1994.
|
| |
D2
|
M. Dacier, Y. Deswarte, and M. Ka~niche, "Quantitative Assessment of Operational Security: Models and Tools," LAAS Research Report 96493, May 1996 (Extended version of "Models and Tools for Quantitative Assessment of Operational Security," Proc. IFIP/SEC'96).
|
| |
K
|
B.O. Koopman, "Search and Screening," Pergamon Press, Inc, New York, 1980.
|
| |
La
|
P.M. Lain, "A Percolation Approach to the Kauffman Model," Journal of Statistical Physics, Vol. 50, Nos. 5/6, pp, 1263-1269, 1988.
|
| |
LB
|
B. Littlewood, S. Brocklehurst, N. Fenton, P. Mellor, S. Page, and D. Wright, "Towards Operational Measures of Computer Security," Journal of Computer Security, 2, pp. 211-229, 1993.
|
| |
Le
|
T.M.P. Lee. "Statistical Models of Trust: TCB's vs. People," Proceedings of 1989 IEEE Symposium on Security and Privacy, IEEE CS Press, 1989.
|
| |
Mc
|
|
| |
Mi
|
J.K. Millen, "Covert Channel Capacity," Proceedings of 1987 IEEE Symposium on Security and Privacy, pp. 60-73, IEEE CS Press, 1987.
|
| |
M1
|
E.F. Moore and C.E. Shannon, "Reliable Circuits Using Less Reliable Relays i," Journal Franklin Institute, Vol. 262, pp.191-208, Sept., 1956.
|
| |
M2
|
E.F. Moore and C.E. Shannon, "Reliable Circuits Using Less Reliable Relays II," Journal Franklin Institute, Vol. 262, pp.281-297, Oct., 1956.
|
| |
O
|
R. Ortalo, Y. Deswarte, M. KaY.niche, "Experimenting with Quantitative Evaluation Tools for Monitoring Operational Security," Proc. 6th International Working Conference of Dependable Computing for Critical Applications, Grainau, Germany, March, 1997.
|
| |
W
|
J.C. Wierman, "Percolation Theory," The Annals of Probability, Vol. 10, No. 3, pp. 509-524, 1982.
|
CITED BY 8
|
|
|
|
|
|
|
|
|
|
|
Jun Li , Peter Reiher , Gerald Popek, Securing information transmission by redundancy, Proceedings of the 1999 workshop on New security paradigms, p.112-117, September 22-24, 1999, Caledon Hills, Ontario, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
|