Compositional Verification of Application-Level Security Properties presented at ESSoS 2013

by Linda Herrmann,

Tags: Security

Summary : N/A