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"
}