A Method for Specifying the Access Control of XML Document using Process Algebra

Ji-Yeon Lee; 김일곤

Journal of The Korea Society of Computer and Information

Abbr : JKSCI
2007, 12(3), pp.251-258
Publisher : The Korean Society Of Computer And Information
Research Area : Computer Science

Ji-Yeon Lee ¹, 김일곤 ²

¹동남보건대학교
²한국정보보호진흥원

ABSTRACT

With the increase of a web service technology, a new access control mechanism has developed for XML documents. As a result, as legacy access control systems, access control systems has become an active research topic. In this paper, we propose a methodology to translate access control policies for XML documents into formal specification language CSP. To do this, first, we introduce a method to translate a hierarchical access to XML documents using XPath language into CSP process algebra. Second, we explain a method to represent a XML schema as a formal model like automata. Third, we present a method for representing the semantics of access control policies such as the scope of rules and confliction resolution into a process algebra language. Finally, a CSP specification example of an XML schema and path expressions are shown to illustrate the validity of our approach.
KEYWORDS

XML, XPath, Formal Specification, Process Algebra, CSP
REFERENCES (10)

[other] J. Clark / XML Path language (XPath) Version 1.0, W3C Recommendation

[web] / 1999 / http://www.w3c.org/TR/xpath / http://www.w3c.org/TR/xpath

[book] C. A. R. Hoare / 1985 / Communicating Sequential Processes / Prentice-Hall

[book] P. Ryan / 2001 / Modelling and Analysis of Security Protocols / Addison-Wesley

[confproc] E. Damiani / 2000 / Securing XML Documents / Proceedings of EDBT Conference : 121~135

[confproc] A. Gabillion / 2001 / Regulating Access Documents / Proceedings of Working Conference on Database and Application Security

[confproc] M.Murata / 2002 / XML Access Control Using Static Analysis / Proceedings of CCS Conference : 73~84

[confproc] I. Fundulaki / 2004 / Specifying Access Control Policies for XML Documents with XPath / Proceedings of SACMAT Conference : 61~69

[book] J. E. Hopcroft / 2001 / Introduction to automata theory, languages, and computation, 2nd ed. / Addison-Wesley

[other] Formal Systems(Europe) Ltd / 1999 / Failure Divergence Refinement-FDR2 User Manual
KCI Citation (0)

KJC Korea
Journal Central

Statistics

Tools