Access Control for XML document

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5027 LNAI, Issue , 2008, Pages 621-630

  Bai, Yun ^a  

^a UNIVERSITY OF WESTERN SYDNEY   (Australia)

Author keywords

Authorization policy; KBS methodology; Logic based specification; XML security

Indexed keywords

ACCESS CONTROL; ARTIFICIAL INTELLIGENCE; ELECTRIC BREAKDOWN; INFORMATION MANAGEMENT; INFORMATION THEORY; INTELLIGENT CONTROL; KNOWLEDGE BASED SYSTEMS; LINGUISTICS; MARKUP LANGUAGES; SECURITY SYSTEMS; TECHNOLOGY; XML;

AUTHORIZATION POLICY; FORMAL APPROACH; HIGH-LEVEL LANGUAGES; INTERNATIONAL CONFERENCES; KBS METHODOLOGY; KNOWLEDGE BASED; LOGIC BASED SPECIFICATION; SECURITY ISSUES; XML DOCUMENTS; XML SECURITY;

INTELLIGENT SYSTEMS;

EID: 48349107806     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69052-8_65     Document Type: Conference Paper

References (12)

1. Bai, Y., Varadharajan, V.: A Language for Specifying Sequences of Authorization Transformations and Its Applications. In: Han, Y., Quing, S. (eds.) ICICS 1997. LNCS, vol. 1334, pp. 39-49. Springer, Heidelberg (1997)
2. Bertino, E., Buccafurri, F., Ferrari, E., Rullo, P.: A Logic-based Approach for Enforcing Access Control. Computer Security 8(2-2), 109-140 (2000)
3. Bertino, E., Catania, B., Ferrari, E., Perlasca, P.: A Logical Framework for Reasoning about Access Control Models. ACM Transactions on Information and System Security 6(1), 71-127 (2003)
4. Bettini, C., Jajodia, S., Wang, X.S., Wijesekera, D.: Provisions and Obligations in Policy Management and Security Applications. In: Proceedings of the Very Large Database Conference, pp. 502-513 (2002)
5. Damiani, E., Vimercati, S., Paraboschi, S., Samarati, P.: A Fine Grained Access Control System for XML Documents. ACM Transactions on Information and System Security, 160-202 (2002)
6. Devanbu, P., Gertz, M., Kwong, A., Martel, C., Nuckolls, G., Stubblebine, S.G.: Flexible Authentication of XML Documents. In: Proceedings of the ACM Conference on Computer and Communications Security, pp. 136-145 (2001)
7. Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9, 365-385 (1991)
8. Jajodia, S., Samarati, P., Sapino, M.L., Subrahmanian, V.S.: Flexible Support for Multiple Access Control Policies. ACM Transactions on Database Systems 29(2), 214-260 (2001)
9. Li, N., Grosof, B., Feigenbaum, J.: Delegation Logic: A Logic-based Approach to Distributed Authorization. ACM Transactions on Information and System Security 6(1), 128-171 (2003)
10. Murata, M., Tozawa, A., Kudo, M.: XML Access Control Using Static Analysis. In: Proceedings of the ACM Conference on Computer and Communications Security, pp. 73-84 (2003)
11. Wang, L., Wijesekera, D., Jajodia, S.: A logic-based framework for attribute based access control. In: Proceedings of the ACM Workshop on Formal Methods in Security Engineering, pp. 45-55 (2004)
12. Woo, T.Y.C., Lam, S.S.: Authorization in Distributed systems: A Formal Approach. In: Proceedings of IEEE Symposium on Research in Security and Privacy, pp. 33-50 (1992)