Using the trees to find the forest trustworthy computing as a systems-level issue
暂无分享,去创建一个
[1] Richard G. Little,et al. Toward more robust infrastructure: observations on improving the resilience and reliability of critical systems , 2003, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.
[2] M. Englehart. Computer aided control system design (cacsd) , 1999, Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033).
[3] Jeffrey M. Voas,et al. Trusted Software's Holy Grail , 2003, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.
[4] S. Vestal. Integrating control and software views in a CACE/CASE toolset , 1994, Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD).
[5] John L. Cole,et al. Proceedings of the First IEEE International Workshop on Information Assurance (IWIA'03), March 24, 2003, Darmstadt, Germany , 2003, IWIA.
[6] J. Lygeros,et al. AN INTRODUCTION TO HYBRID SYSTEM MODELING ANALYSIS AND CONTROL JOHN LYGEROS GEORGE PAPPAS AND SHANKAR SASTRY , 1999 .
[7] W. Tracz,et al. DSSA case study: navigation, guidance, and flight director design and development , 1992, IEEE Symposium on Computer-Aided Control System Design.