Security Benchmarking Using Partial Verification presented at 3rd USENIX Workshop on Hot Topics in Security 2008

by David Lie, Thomas E. Hart, Marsha Chechik,

Tags: Security