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:
@string{hotsec08="Proceedings of the 3rd USENIX Workshop on Hot Topics in Security (HOTSEC)"}
@inproceedings{hart:hotsec2008,
author = {Thomas E. Hart and Marsha Chechik and David Lie},
title = {Security Benchmarking Using Partial Verification},
booktitle = HOTSEC08,
month = jul,
year = 2008,
url = {https://security.csl.toronto.edu/wp-content/uploads/2018/06/hart_hotsec08.pdf},
note = {(Acceptance: 12/32, 32\%)}
}