Proceedings of the Second Acm Conference on Wireless Network Security

by Basin, David
Published 2009

FMSE '03 : proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03

by ACM Workshop on Formal Methods in Security Engineering
Published 2003