Model-based assurance of security controls.

Yolanta Beres, Adrian Baldwin, Simon Shiu

Browse the full CCS paper archive.