XACML function annotations

Proceedings - Eighth IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2007

Volumn , Issue , 2007, Pages 178-182

  Rao, Prathima ^a   Dan, Lin ^a   Bertino, Elisa ^a  

^a PURDUE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; PROBLEM SOLVING; PUBLIC POLICY;

ENTERPRISE SYSTEMS; POLICY TRANSLATION; XACML;

FUNCTIONS;

EID: 34748830275     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/POLICY.2007.51     Document Type: Conference Paper

References (7)

1. D. Agrawal, J. Giles, K. W. Lee, and J. Lobo. Policy ratification. In Proc. Policy, pages 223-232, 2005.
2. L. Burdy and A. Requet. Jack : Java applet correctness kit. In In GDC 2002, Singapore, November 2002., 2002.
3. K. Fisler, S. Krishnamurthi, L. A. Meyerovich, and M. C. Tschantz. Verification and change-impact analysis of access-control policies. In Proc. ICSE, pages 196-205, 2005.
4. Gary T. Leavens, Albert L. Baker, and Clyde Ruby. JML: A notation for detailed design. In Behavioral Specifications of Businesses and Systems, pages 175-188, 1999.
5. P. Mazzoleni, E. Bertino, and B. Crispo. XACML policy integration algorithms. In Proc. SACMAT, pages 223-232, 2006.
6. T. Moses. Extensible access control markup language (XACML) version 1.0. Technical report, OASIS, 2003.
7. http://docs.oasis-open.org/xacml/xacmlRefs.html#Products.