Industrial Use of Formal Methods for a High-Level Security Evaluation.

Boutheina Chetali, Quang Huy Nguyen

Browse the full FM paper archive.