The auditing facility for a VMM security kernel
作者： K.F. Seiden , J.P. Melanson
关键词:
摘要: The VAX security kernel, a prototype kernel implemented as virtual machine monitor (VMM) for the architecture, is capable of emulating one or more machines (VMs) on single physical allowing multiple copies operating systems to execute concurrently. system supports both VMS and ULTRIX systems. A fundamental component any ability produce an audit trial relevant events. While there are numerous examples auditing subsystems at DoD Trusted Computer System Evaluation Criteria (TCSEC) C2 B1 level, much less experience with requirements B2 level above. design implementation facility, built satisfy A1 described. >
ieeecomputersociety.org参考文章(8)
Morrie Gasser, Building a Secure Computer System ,(1988)
J. Picciotto, The Design of an Effective Auditing Subsystem ieee symposium on security and privacy. pp. 13- 13 ,(1987) , 10.1109/SP.1987.10015
David P. Reed, Rajendra K. Kanodia, Synchronization with eventcounts and sequencers Communications of The ACM. ,vol. 22, pp. 115- 123 ,(1979) , 10.1145/359060.359076
H.S. Vaccaro, G.E. Liepins, Detection of anomalous computer session activity ieee symposium on security and privacy. pp. 280- 289 ,(1989) , 10.1109/SECPRI.1989.36302
V.D. Gligor, E.L. Burch, G.S. Chandersekaran, R.S. Chapman, L.J. Dotterer, M.S. Hecht, W.D. Jiang, G.L. Luckenbaugh, N. Vasudevan, On the Design and the Implementation of Secure Xenix Workstations ieee symposium on security and privacy. pp. 102- 102 ,(1986) , 10.1109/SP.1986.10016
K. J. Biba, Integrity Considerations for Secure Computer Systems ,(1977)
T.F. Lunt, R. Jagannathan, A prototype real-time intrusion-detection expert system ieee symposium on security and privacy. pp. 59- 66 ,(1988) , 10.1109/SECPRI.1988.8098
P.A. Karger, M.E. Zurko, D.W. Bonin, A.H. Mason, C.E. Kahn, A VMM security kernel for the VAX architecture ieee symposium on security and privacy. pp. 2- 19 ,(1990) , 10.1109/RISP.1990.63834