Security by Design: Verification of Security Properties for Network Architectures
Autor: Links:
Quelle: Karlsruhe Institute of Technology, 2013