Using Model Checkers To Elicit Security Metrics Slides presented at Metricon 3

by Thomas Heyman, Christophe Huygens,

Tags: Security