Using Model Checkers To Elicit Security Metrics Slides presented at Metricon 3
by Thomas Heyman, Christophe Huygens,
Tags: Security