Mike Seager, David Guaspari, Matthew Stillerman, Carla Marceau. Formal methods in the THETA kernel. In Proceedings of the 1995 IEEE Symposium on Security and Privacy, Oakland, California, USA, May 8-10, 1995. pages 88-100, IEEE Computer Society, 1995. [doi]
Abstract is missing.