Search
Results
-
Proceedings of the 2004 ACM workshop on Formal methods in security engineering
(2004)Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering / FMSE’04Conference Proceedings -
10th ACM conference on Computer and communications security (CCS 2003)
(2003)Proceedings of the 10th ACM Conference on Computer and Communications Security : Washington, DC, USA, October 27-31, 2003Conference Proceedings