본문 바로가기
  • Home

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

  • 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 : Engineering > Computer Science

Ji-Yeon Lee 1 김일곤 2

1동남보건대학교
2한국정보보호진흥원

Accredited

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.

Citation status

* References for papers published after 2022 are currently being built.