Coverart for item
The Resource 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, sponsored by ACM SIGSAC, (electronic resource)

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, sponsored by ACM SIGSAC, (electronic resource)

Label
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
Title
FMSE '04
Title remainder
proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 29, 2004 : co-located with CCS 2004
Statement of responsibility
sponsored by ACM SIGSAC
Title variation
  • Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering
  • Formal Methods in Security Engineering '04
Title variation remainder
proceedings of the 2004 Association for Computing Machinery Workshop on Formal Methods in Security Engineering : Washington, District of Columbia, USA, October 29, 2004 : co-located with Computer and Communications Security 2004
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
WaSeSS
LC call number
QA76.9.A25
http://bibfra.me/vocab/lite/meetingDate
2004
http://bibfra.me/vocab/lite/meetingName
ACM Workshop on Formal Methods in Security Engineering
http://library.link/vocab/relatedWorkOrContributorDate
2004
http://library.link/vocab/relatedWorkOrContributorName
  • Association for Computing Machinery
  • ACM Conference on Computer and Communications Security
http://library.link/vocab/subjectName
  • Computer security
  • Formal methods (Computer science)
Label
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, sponsored by ACM SIGSAC, (electronic resource)
Instantiates
Publication
Note
Includes index
Control code
OCM1bookssj0001139297
Dimensions
unknown
Extent
1 online resource (96 pages)
Isbn
9781581139716
Isbn Type
(print)
Specific material designation
remote
System control number
(WaSeSS)ssj0001139297
Label
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, sponsored by ACM SIGSAC, (electronic resource)
Publication
Note
Includes index
Control code
OCM1bookssj0001139297
Dimensions
unknown
Extent
1 online resource (96 pages)
Isbn
9781581139716
Isbn Type
(print)
Specific material designation
remote
System control number
(WaSeSS)ssj0001139297

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...