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: | , , , , |
---|---|
Format: | Conference Proceeding Book |
Language: | English |
Published: |
New York, N.Y. :
Association for Computing Machinery,
[2004]
|
Series: | ACM Digital Library (Series)
|
Subjects: |