Robust Verification Tools for Improved Secure System Evaluation
License:
Creative Commons 2.5
David Hardin
Other available formats:
Robust Verification Tools for Improved Secure System Evaluation