Fmse'03: Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering: Washington, DC, USA, October 30, 2003:
Publisher: Association for Computing Machinery (ACM)
Published: January 2003
Language: eng
Format: Hardcover
Number of pages: 87
ISBN-13: 9781581137811
Subjects: Security - General; Computers - Computer Security