[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