A Framework for High Assurance Security of Distributed Objects.

John Hale, Jody Threet, Sujeet Shenoi

Browse the full DBSEC paper archive.