"The Journey Toward Secure Systems: Achieving Assurance."

Steven B. Lipner (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics