Security Benchmarking Using Partial Verification
0 Comments
by Thomas E. Hart, Marsha Chechik and David Lie
Reference:
Thomas E. Hart, Marsha Chechik and David Lie, “Security Benchmarking Using Partial Verification”, In Proceedings of the 3rd USENIX Workshop on Hot Topics in Security (HOTSEC), 2008.
Bibtex Entry:
@inproceedings{hart:hotsec2008, author = "Hart, Thomas E. and Chechik, Marsha and Lie, David", title = "Security Benchmarking Using Partial Verification", booktitle = "Proceedings of the 3rd {USENIX} Workshop on Hot Topics in Security ({HOTSEC})", month = "July", year = "2008", url = "https://security.csl.toronto.edu/wp-content/uploads/2018/06/hart_hotsec08.pdf", note = "(Acceptance: 12/32, 32\%; 2 citations)", citations = "2", gsid = "13089902456809291028" }