Flexible support for multiple access control policies
ACM Transactions on Database Systems (TODS)
Flexible authentication of XML documents
CCS '01 Proceedings of the 8th ACM conference on Computer and Communications Security
A fine-grained access control system for XML documents
ACM Transactions on Information and System Security (TISSEC)
A logical framework for reasoning about access control models
ACM Transactions on Information and System Security (TISSEC)
Delegation logic: A logic-based approach to distributed authorization
ACM Transactions on Information and System Security (TISSEC)
A language for specifying sequences of authorization transformations and its applications
ICICS '97 Proceedings of the First International Conference on Information and Communication Security
Authorization in Distributed Systems: A Formal Approach
SP '92 Proceedings of the 1992 IEEE Symposium on Security and Privacy
XML access control using static analysis
Proceedings of the 10th ACM conference on Computer and communications security
A logic-based framework for attribute based access control
Proceedings of the 2004 ACM workshop on Formal methods in security engineering
Provisions and obligations in policy management and security applications
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
| Hi-index | 0.00 |
The aim of this paper is to investigate the security issue of the XML documents. We discuss a protection mechanism for the XML documents; and investigate a knowledge based formal approach to ensure the security of web-based XML documents. Our approach starts by introducing a high level language to specify an XML document and its protection authorizations. We also investigate the syntax and semantics of the language. The flexible and powerful access control specification can effectively protect the documents from unauthorized attempts and malicious damages.