Stephen P. Morgan, Stephen W. Neal, Melissa A. Hartman, Matthew R. Laue. Sherlock: Commercial High Assurance Network Computing. In Josef Pieprzyk, Eiji Okamoto, Jennifer Seberry, editors, Information Security, Third International Workshop, ISW 2000, Wollongong, NSW, Australia, December 20-21, 2000, Proceedings. Volume 1975 of Lecture Notes in Computer Science, pages 262-276, Springer, 2000. [doi]
Abstract is missing.