Expressive Policy Analysis with Enhanced System Dynamicity
File(s)asiaccs.pdf (196.1 KB)
Accepted version
Author(s)
Type
Conference Paper
Abstract
Despite several research studies, the effective analysis of policy based systems remains a significant challenge. Policy analysis should at least (i) be expressive (ii) take account of obligations and authorizations, (iii) include a dynamic system model, and (iv) give useful diagnostic information. We present a logic-based policy analysis framework which satisfies these requirements, showing how many significant policy-related properties can be analysed, and we give details of a prototype implementation. Copyright 2009 ACM.
Date Issued
2009
Citation
ASIACCS '09 Proceedings of the 4th International Symposium on Information, Computer, and Communications Security, 2009, pp.239-250
ISBN
978-1-60558-394-5
Publisher
ACM
Start Page
239
End Page
250
Journal / Book Title
ASIACCS '09 Proceedings of the 4th International Symposium on Information, Computer, and Communications Security
Copyright Statement
© 2009 ACM. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ASIACCS '09 Proceedings of the 4th International Symposium on Information, Computer, and Communications Security (2009) http://doi.acm.org/10.1145/1533057.1533091
Description
30.11.12 KB. Accepted version ok to add to Spiral. ACM policy
Identifier
http://portal.acm.org/ft_gateway.cfm?id=1533091&type=pdf&coll=ACM&dl=ACM&CFID=56336011&CFTOKEN=23948814
Source
ASIAN ACM Symposium on Information, Computer and Communications Security (ASIACCS 09)
Source Place
Sydney, Australia
Start Date
2009-03-10
Finish Date
2009-03-12
Coverage Spatial
Sydney, Australia