Thomas E. Hart, Marsha Chechik, David Lie. Security Benchmarking using Partial Verification. In Niels Provos, editor, 3rd USENIX Workshop on Hot Topics in Security, July 29, 2008, San Jose, CA, USA, Proceedings. USENIX Association, 2008. [doi]
Abstract is missing.