The Design of a COTS Real-Time Distributed Security Kernel
作者： Miguel Correia , Paulo Verissimo , Nuno Neves
关键词: Security kernel 、 Intrusion tolerance 、 Distributed computing 、 Embedded system 、 Software development 、 Intrusion detection system 、 Computer science 、 Distributed security 、 Kernel (statistics)
摘要: This paper describes the design of a security kernel called TTCB, which has innovative features. Firstly, it is distributed subsystem with its own secure network. Secondly, TTCB real-time, that is, synchronous capable timely behavior. These two characteristics together are uncommon in kernels. Thirdly, can be implemented using only COTS components.
springer.com
core.ac.uk
sci-hub.st 参考文章(17)
Tage Stabell-Kulø, Ronny Arild, Per Harald Myrvang, Providing authentication to messages signed with a smart card in hostile environments WOST'99 Proceedings of the USENIX Workshop on Smartcard Technology on USENIX Workshop on Smartcard Technology. pp. 11- 11 ,(1999)
Delta Four: A Generic Architecture for Dependable Distributed Computing Springer-Verlag New York, Inc.. ,(1991) , 10.1007/978-3-642-84696-0
Naomaru Itoi, Peter Honeyman, Smartcard integration with Kerberos V5 WOST'99 Proceedings of the USENIX Workshop on Smartcard Technology on USENIX Workshop on Smartcard Technology. pp. 7- 7 ,(1999)
Bennet S. Yee, J. D. Tygar, Dyad : a system for using physically secure coprocessors ,(1991)
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, None, The Design of a COTS Real-Time Distributed Security Kernel (Extended Version) Department of Informatics, University of Lisbon. ,(2001)
C. J. Walter, N. Suri, M. M. Hugue, Continual On-Line Diagnosis of Hybrid Faults Springer, Vienna. pp. 233- 249 ,(1995) , 10.1007/978-3-7091-9396-9_21
rd D. Eastlake, S. Crocker, J. Schiller, Randomness Recommendations for Security RFC. ,vol. 1750, pp. 1- 30 ,(1994)
Alfred J Menezes, Paul C van Oorschot, Scott A Vanstone, Handbook of Applied Cryptography ,(1996)
Ames, Gasser, Schell, Security Kernel Design and Implementation: An Introduction IEEE Computer. ,vol. 16, pp. 14- 22 ,(1983) , 10.1109/MC.1983.1654439
Barbara Gengler, Trusted Computing Platform Alliance Network Security. ,vol. 2001, pp. 6- ,(2001) , 10.1016/S1353-4858(01)00312-9