Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next Record
Title Proceedings of the 6th Acm Workshop on Formal Methods in Security Engineering [electronic resource]
Publication Info New York : Association for Computing Machinery Oct. 2008



Note Available for distribution in: USA
Annotation CCS '08 : 15th ACM Conference on Computer and Communications Security 2008 Oct 27, 2008-Oct 31, 2008 Alexandria, USA. You can view more information about this proceeding and all of ACMs other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.
ISBN 9781605582887
1605582883 (Trade Cloth) USD 99.00 Retail Price (Publisher)
Click on the terms below to find similar items in the catalogue
Alt author Shmatikov, Vitaly.
Note Available for distribution in: USA
Annotation CCS '08 : 15th ACM Conference on Computer and Communications Security 2008 Oct 27, 2008-Oct 31, 2008 Alexandria, USA. You can view more information about this proceeding and all of ACMs other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.
ISBN 9781605582887
1605582883 (Trade Cloth) USD 99.00 Retail Price (Publisher)
Alt author Shmatikov, Vitaly.

Note Available for distribution in: USA
Annotation CCS '08 : 15th ACM Conference on Computer and Communications Security 2008 Oct 27, 2008-Oct 31, 2008 Alexandria, USA. You can view more information about this proceeding and all of ACMs other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.
Alt author Shmatikov, Vitaly.
ISBN 9781605582887
1605582883 (Trade Cloth) USD 99.00 Retail Price (Publisher)

Links and services for this item: