Embedded systems security co-design
暂无分享,去创建一个
[1] David A. Bell,et al. Secure computer systems: mathematical foundations and model , 1973 .
[2] Gabor Karsai,et al. Integrating Security Modeling into Embedded System Design , 2007, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07).
[3] Gabor Karsai,et al. Platform Modeling and Model Transformations for Analysis , 2004, J. Univers. Comput. Sci..
[4] Gabor Karsai,et al. Model-integrated development of embedded software , 2003, Proc. IEEE.
[5] K. J. Bma. Integrity considerations for secure computer systems , 1977 .
[6] Gabor Karsai,et al. Model-Integrated Computing , 1997, Computer.