Coverart for item
The Resource 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, edited by Michael Backes, David Basin & Michael Waidner ; sponsored by ACM SIGSAC, (electronic resource)

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, edited by Michael Backes, David Basin & Michael Waidner ; sponsored by ACM SIGSAC, (electronic resource)

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

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 ...