Workshop on Formal Methods in Security Engineering. 2, 2004, Washington, DC. profile picture

Workshop on Formal Methods in Security Engineering. 2, 2004, Washington, DC.

Is this your author profile? Create an account to claim and customize it!

Stand Alone

FMSE '04 Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington DC, USA, October 29, 2004 : Co-located with CCS '04