小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2008年
1期
73-79
,共7页
DTD%XPath%具体化%访问控制%自动机
DTD%XPath%具體化%訪問控製%自動機
DTD%XPath%구체화%방문공제%자동궤
为解决XML管理安全问题,提出了DTD可选的XML访问控制系统OD-XACS(XML Access Control System with Optional DTD),并给出了安全性分析.OD-XACS支持访问控制规则中带有{//,*,[ ]}的复杂XPath式.有DTD时,ODXACS利用XPath式对DTD的可满足性验证访问控制规则的有效性,并对由规则中XPath式构造的不确定有限自动机进行具体化,消除了这些XPath式中的冗余.实验表明,访问控制规则的验证和具体化可以极大地减轻XML查询引擎的负担.
為解決XML管理安全問題,提齣瞭DTD可選的XML訪問控製繫統OD-XACS(XML Access Control System with Optional DTD),併給齣瞭安全性分析.OD-XACS支持訪問控製規則中帶有{//,*,[ ]}的複雜XPath式.有DTD時,ODXACS利用XPath式對DTD的可滿足性驗證訪問控製規則的有效性,併對由規則中XPath式構造的不確定有限自動機進行具體化,消除瞭這些XPath式中的冗餘.實驗錶明,訪問控製規則的驗證和具體化可以極大地減輕XML查詢引擎的負擔.
위해결XML관리안전문제,제출료DTD가선적XML방문공제계통OD-XACS(XML Access Control System with Optional DTD),병급출료안전성분석.OD-XACS지지방문공제규칙중대유{//,*,[ ]}적복잡XPath식.유DTD시,ODXACS이용XPath식대DTD적가만족성험증방문공제규칙적유효성,병대유규칙중XPath식구조적불학정유한자동궤진행구체화,소제료저사XPath식중적용여.실험표명,방문공제규칙적험증화구체화가이겁대지감경XML사순인경적부담.