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

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

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
Title variation
  • Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering
  • 2003 ACM Workshop on Formal Methods in Security Engineering
  • Formal methods in security engineering
  • CCS'03
Creator
Contributor
Subject
Genre
Language
eng
Summary
Despite considerable number of work on authorization models, enforcing multiple polices is still a challenge in order to achieve the level of security required in many real-world systems. Moreover current approaches address security settings independently, and their incorporation into systems development lifecycle is not well understood. This paper presents a formal model for the specification of access control policies. The approach can handle the enforcement of multiple policies through policies composition. Temporal dependencies among authorizations can be formulated. Interval Temporal Logic (ITL) is our underlying formal framework an policies are modeled as safety properties expressing how authorizations are granted over time. The approach is compositional, and can be used to specify other system's properties such as functional and temporal requirements. The use of a common formalism eases the integration of security requirements into system requirements so that they can be reasoned about uniformly throughout the development lifecycle
Cataloging source
GAT
Illustrations
illustrations
Index
index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2003
http://bibfra.me/vocab/lite/meetingName
ACM Workshop on Formal Methods in Security Engineering
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
2003
http://library.link/vocab/relatedWorkOrContributorName
  • Backes, Michael
  • Basin, David
  • Waidner, Michael
  • Association for Computing Machinery
  • Association for Computing Machinery
  • ACM Conference on Computer and Communications Security
http://library.link/vocab/subjectName
  • Computer security
  • Formal methods (Computer science)
  • Computers
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
Instantiates
Publication
Note
  • "Sponsored by ACM SIGSAC."
  • "... held ... in conjunction with the 10th ACM Conference on Computer and Communications Security ..."--P. iii
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
54688580
Dimensions
28 cm
Extent
v, 87 pages
Isbn
9781581137811
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
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
Publication
Note
  • "Sponsored by ACM SIGSAC."
  • "... held ... in conjunction with the 10th ACM Conference on Computer and Communications Security ..."--P. iii
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
54688580
Dimensions
28 cm
Extent
v, 87 pages
Isbn
9781581137811
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...