@article{ART001085204},
author={Ji-Yeon Lee and 김일곤},
title={A Method for Specifying the Access Control of XML Document using Process Algebra},
journal={Journal of The Korea Society of Computer and Information},
issn={1598-849X},
year={2007},
volume={12},
number={3},
pages={251-258}
TY - JOUR
AU - Ji-Yeon Lee
AU - 김일곤
TI - A Method for Specifying the Access Control of XML Document using Process Algebra
JO - Journal of The Korea Society of Computer and Information
PY - 2007
VL - 12
IS - 3
PB - The Korean Society Of Computer And Information
SP - 251
EP - 258
SN - 1598-849X
AB - 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.
KW - XML;XPath;Formal Specification;Process Algebra;CSP
DO -
UR -
ER -
Ji-Yeon Lee and 김일곤. (2007). A Method for Specifying the Access Control of XML Document using Process Algebra. Journal of The Korea Society of Computer and Information, 12(3), 251-258.
Ji-Yeon Lee and 김일곤. 2007, "A Method for Specifying the Access Control of XML Document using Process Algebra", Journal of The Korea Society of Computer and Information, vol.12, no.3 pp.251-258.
Ji-Yeon Lee, 김일곤 "A Method for Specifying the Access Control of XML Document using Process Algebra" Journal of The Korea Society of Computer and Information 12.3 pp.251-258 (2007) : 251.
Ji-Yeon Lee, 김일곤. A Method for Specifying the Access Control of XML Document using Process Algebra. 2007; 12(3), 251-258.
Ji-Yeon Lee and 김일곤. "A Method for Specifying the Access Control of XML Document using Process Algebra" Journal of The Korea Society of Computer and Information 12, no.3 (2007) : 251-258.
Ji-Yeon Lee; 김일곤. A Method for Specifying the Access Control of XML Document using Process Algebra. Journal of The Korea Society of Computer and Information, 12(3), 251-258.
Ji-Yeon Lee; 김일곤. A Method for Specifying the Access Control of XML Document using Process Algebra. Journal of The Korea Society of Computer and Information. 2007; 12(3) 251-258.
Ji-Yeon Lee, 김일곤. A Method for Specifying the Access Control of XML Document using Process Algebra. 2007; 12(3), 251-258.
Ji-Yeon Lee and 김일곤. "A Method for Specifying the Access Control of XML Document using Process Algebra" Journal of The Korea Society of Computer and Information 12, no.3 (2007) : 251-258.
