Author:
Gargano Mauro,Hillebrand Mark,Leinenbach Dirk,Paul Wolfgang
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Hutt, A.E., Hoyt, D.B., Bosworth, S. (eds.): Computer Security Handbook. John Wiley & Sons, Inc., Chichester (1995)
2. Shapiro, J.S., Hardy, N.: Eros: A principle-driven operating system from the ground up. IEEE Software 19, 26–33 (2002)
3. Rushby, J.: Proof of separability: A verification technique for a class of security kernels. In: Proc. 5th International Symposium on Programming, pp. 352–367. Springer, Turin (1982)
4. Wulf, W.A., Cohen, E.S., Corwin, W.M., Jones, A.K., Levin, R., Pierson, C., Pollack, F.J.: HYDRA: The kernel of a multiprocessor operating system. CACM 17(6) (1974)
5. Pfitzmann, B., Riordan, J., Stüble, C., Waidner, M., Weber, A.: The PERSEUS system architecture. In: Fox, D., Köhntopp, M., Pfitzmann, A. (eds.) VIS 2001, Sicherheit in komplexen IT-Infrastrukturen, pp. 1–18. Vieweg Verlag (2001)
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献