A Formal Approach for Verifying and Validating Security Objectives in Software Architecture.

Loc Thierry, Brahim Hamid, Jason Jaskolka

Browse the full VECoS paper archive.