Formalizing and Validating Complex Security Requirements.

Philip Morris, John A. McDermid

Browse the full DBSEC paper archive.