Lightweight modeling and analysis of security concepts (0)

by J Eichler
Venue:in Engineering Secure Software and Systems (ESSoS 2011), ser. LNCS