FMSE '04 proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 29, 2004 : co-located with CCS 2004 /
Corporate Authors: | ACM Workshop on Formal Methods in Security Engineering Washington, D.C., ACM Digital Library, Association for Computing Machinery Special Interest Group on Security, Audit, and Control, Association for Computing Machinery, ACM Conference on Computer and Communications Security |
---|---|
Format: | Conference Proceeding Book |
Language: | English |
Published: |
New York, N.Y. :
Association for Computing Machinery,
[2004]
|
Series: | ACM Digital Library (Series)
|
Subjects: |
Similar Items
-
FMSE '04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 29, 2004 : co-located with CCS 2004 /
Published: (2004) -
FMSE '04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 29, 2004 : co-located with CCS 2004 /
Published: (2004) -
FMSE '04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 29, 2004 : co-located with CCS '2004 /
Published: (2004) -
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 /
Published: (2003) -
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 /
Published: (2003)