（计算机软件与理论专业论文）柔性访问控制研究.pdf

a b s t r a c t 摘要 信息安全是可信计算的一个领域，访问控制是整个信息安全的基础。 访问控制是保护安全系统所维护的数据和资源，以避免未授权访问与不恰 当修改，同时确保对合法用户的可用性。访问控制系统的开发过程总是基 于安全策略、安全模型和安全机制的多阶段实施。 然而，访问控制策略模型的定义是非平凡的，它的最大难点在于如何 以恰当的定义和明确的规则解释真实世界的安全策略( 通常是复杂的，有 时是模糊的) 及其转化，并使它们易于计算机系统的实现。随着访问控制 理论的发展和实际应用中对安全需求的日益提高，表达能力和灵活性现在 已成为一个访问控制系统中的优先要求，而访问控制又经常要求处理冲突 性、简单性和有效性，即现代访问控制策略要求是柔性的足以刻画现实世 界中的安全需求。 柔性访问控制主要涉及柔性授权、逻辑形式化和策略集成等当今访问 控制中的热点问题和发展趋势。研究如何使用逻辑程序强大的表达能力秘 计算能力确定现实中的柔性访问控制策略：如何平衡柔性访问控制规范的 表达性、简单性和有效性；如何处理柔性访问控制中的冲突；如何在一个 框架下集成已有柔性访问控制理论的优点；如何使用常识推理( 即非单调 推理) 刻画柔性特征。本文研究主要集中于下列几个问题：柔性访阀控制 的概念；基于角色访问控制模型( r b a c ) 的柔性；柔性访问控制策略中的 冲突消解；基于逻辑程序的柔性授权框架的设计与分析。 基于上述问题的深入研究，我们取得了四个方面的成果与创新： ( 1 ) 柔性访问控制规范与分析 就我们所知，有关柔性访问控制的概念尚无明确定义与总结，我们认为 其含义是模糊的和处丁进化过程中的。我们可以简单地理解柔性为“多属 a b s t r a c t 性”和“多域性 ，但今天的柔性访问控制已涉及到信任管理和信任协商等 问题，因此对柔性访问控制的概念归纳与特征描述是必要的。进一步，我们 分析了如何用逻辑程序表示柔性访问控制策略所涉及的几个问题，特别是 如何用逻辑程序规则确定“柔性”特征。我们也研究了几个流行的授权框 架理论。这样，我们获得了以下结果： 一柔性访问控制的概念外延可归纳为：表达从显式到隐式、决策从身份标 识到主体属性、更新从静态到动态、实施从单一到组合、环境从封闭到开 放； 一柔性访问控制的特征有：条件( 系统、上下文与历史) 、层次( 主体、 客体、权限和角色) 、正负授权、基于属性的规范、动态环境、授权推理； 一分析逻辑程序的结构特征能确定相应的安全需求性质，同时也决定其语 义计算； 一几个经典的授权框架优缺点互补交叉，这给我们进一步研究的空间。 ( 2 ) r b a c 模型的柔性 在分析r b a c 柔性的基础上，我们提出了“在r b a c 中实现l b a c 策略的 形式化分析 问题，它涉及如何用r b c 的机制来实施基于格的访问控制 ( l b a c ) 策略。尽管已有+ 些有关l b a c 与r b a c 关系的研究，但大多是非 形式化的。我们的研究是基于形式化的方法，涉及到关系、逻辑与同态等。 这一研究主要有下列贡献： 一形式化分析显示如何用r b a c 框架使关键的l b a c 策略有效，r b a c 有一个 好的机制角色在统一处理一系列l b a c 系统中所起的作用； 一研究得出几个基于格的访问控制策略能在r b a c 中实现，并且也清楚地 探索出r b a c 控制管理机制； 一通过使用一种安全模型来统一研究其它的方法，使我们探索一种有关集 成安全策略的推理成为可能。 ( 3 ) 偏好冲突消解策略 a b s t r a c t 据我们所知，少有基于文字偏好冲突消解用于访问控制领域。根据冲突 消解原理，我们研究问题：用l p o d 程序消解冲突，用带有序析取的逻辑程 序( l p o d ) 规则消解冲突。我们所提出的方法有下列优点： 一这一方法是偏好冲突消解方法，它是基于文字与上下文依赖的，不同于 规则优先和基于组织的策略，它有精细的粒度； 一l p o d 程序的语义不是通常的稳定模型，但它的语义计算可转化为稳定模 型计算。因此它是新颖的： 一选择l p o d 程序回答集的选择标准是灵活的，并能很好适应于实际需求。 ( 4 ) 基于逻辑程序的柔性授权框架 我们提出授权框架由三个程序模块组成：p r a p 组件、u r a p 组件与u r - r p 授权策略，p r a p 指“权限角色分配程序”负责分配权限给角色，u r a p 表示 “用户角色分配程序”，其功能是分配角色予用户，u r - r p 程序结合p r a p 和 u r a p 实施多策略集成。这个授权框架有下列优点： 一由于该框架的管理机制是基于r b a c ，所以它易于进一步扩展与精化； 一因为这个框架是基于逻辑程序的，所以它是柔性的。使用r b a c 组织策 略规范中的规则可强化规范的结构； 一框架中的组件模块能允分利用已有理论的优点。例如，p r a p 对角色、客 体与权限使用b e r t i n 0 9 9 框架中的精细粒度和结构化的遗传机制，u r a p 对 用户利用f a f 理论中的多重冲突消解与决策策略，u r - r p 显式地体现出r b a c 中会话功能； 一各组件模块在一个统一的框架下独立地实施策略并进行交互。事实上这 种实施和交互功能是基于逻辑程序的结合； 一由丁非单调理论应用丁我们的授权框架，所以我们能应用信念修改来实 现现实世界中的柔性策略。 上面所有结果无沦在理沦还是实践方面都是有价值的，同时也是我们 进一步研究柔性访问控制的基础。 a b s t r a c t 关键词：安全策略，逻辑程序，基于角色访问控制，柔性访问控制， 柔性授权框架 图书分类号：t p 3 0 9 2 ，t p l 8 a b s t r a c t a b s t r a c t i n f o r m a t i o ns e c u r i t yi sar e a l mi nt r u s t e dc o m p u t i n g ，a n da c c e s sc o n t r o lp l a y sa n i m p o r t a n tr o l ei no v e r a l li n f o r m a t i o ns e c u r i t y a c c e s sc o n t r o li st op r o t e c tt h e d a t aa n dr e s o u r c e sm a i n t a i n e db yas e c u r i t y s y s t e ma g a i n s tu n a u t h o r i z e d d i s c l o s u r eo ri m p r o p e rm o d i f i c a t i o n s , w h i l ea tt h es a m et i m ee n s u r i n gt h e i r a v a i l a b i l i t yt ol e g i t i m a t eu s e r s t h ed e v e l o p m e n tp r o c e s so fa na c c e s sc o n t r o l s y s t e mi su s u a l l yc a r r i e do u tw i t ham u l t i - p h a s ea p p r o a c hb a s e do nt h ec o n c e p t s o fs e c u r i t yp o l i c y , s e c u r i t ym o d e la n ds e c u r i t ym e c h a n i s m h o w e v e r , t h ed e f i n i t i o no fa na c c e s sc o n t r o lp o l i c y m o d e li sf a rf r o mb e i n ga t r i v i a lp r o c e s s t h em o s tm a j o rd i f f i c u l t yl i e si nt h ei n t e r p r e t a t i o no fr e a l - w o r l d s e c u r i t yp o l i c i e s ( o f t e nc o m p l e xa n ds o m e t i m e sa m b i g u o u s ) a n d t h e i rt r a n s l a t i o n i nw e l ld e f i n e da n du n a m b i g u o u sr u l e s ，w h i c ha r ee a s i l yi m p l e m e n t e db ya c o m p u t e rs y s t e m w i t ht h ed e v e l o p m e n to fa c c e s sc o n t r o lt h e o r ya n ds e c u r i t y r e q u i r e m e n t si nm a n ye m e r g i n ga p p l i c a t i o n s ，n o w a d a y s ，e x p r e s s i v e n e s sa n d f l e x i b i l i t yh a v eb e e nb e c o m et o pr e q u i r e m e n t sf o ra na c c e s sc o n t r o ls y s t e m t o g e t h e rw i t h ，a n du s u a l l yi nc o n f l i c tw i t h ，s i m p l i c i t ya n de f f i c i e n c y , t h a ti s , a m o d e ma c c e s sc o n t r o lp o l i c yn e e d st ob ef l e x i b l ee n o u g ht oc a p t u r es e c u r i t y r e q u i r e m e n t si n r e a lw o r l ds c e n a r i o s t h i si sw h yw es t u d yt h ef l e x i b l ea c c e s s c o n t r 0 1 o u rf l e x i b l ea c c e s sc o n t r o l m a i n l y r e f e r st ot h r e ea s p e c t s ：f l e x i b l e a u t h o r i z a t i o n s ，l o g i cb a s e df o r m a l i z a t i o n , a n di n t e g r a t i o no fp o l i c i e s ，w h i c h o b t a i nas i g n i f i c a n ta t t e n t i o na n da l s or e f l e c tt h ed e v e l o p m e n tt e n d e n c yo ft h e c u r r e n ta c c e s sc o n t r 0 1 i th a sb e e ni n v e s t i g a t e di nt h i sd i s s e r t a t i o nt h a th o wt o s p e c i f yf l e x i b l e a c c e s sc o n t r o lp o l i c i e si n r e a lw o r l du s i n gt h ep o w e r f u l e x p r e s s i v e n e s sa n dc o m p u t a t i o no fl o g i cp r o g r a m s ，h o wt od e a lw i t hc o n f l i c t si n f l e x i b l ea c c e s sc o n t r o l s ，h o wt ob a l a n c ee x p r e s s i v e n e s s , s i m p l i c i t ya n d e f f i c i e n c yi nf l e x i b l ea c c e s sc o n t r o ls p e c i f i c a t i o n s ，h o wt om a k eu s eo fc o m m o n r e a s o n i n g ( i e ，n o n - m o n o t o n i cr e a s o n i n g ) t oe x p r e s st h ef l e x i b l ec h a r a c t e r i s t i c s ， a n dh o wt oi n t e g r a t et h ea d v a n t a g e si nt h ep r e v a i l i n gf l e x i b l ea c c e s sc o n t r o l t h e o r i e so nt h eb a s i so fau ni f i e df r a m e w o r k 1 f l l cd i s s e r t a t i o nf o c u s e so nt h e f o l l o w i n gs e v e r a lp r o b l e m s ：t h ec o n c e p to ff l e x i b l ea c c e s sc o n t r o l ；t h ef l e x i b i l i t y a b s t r a c t o fr o l eb a s e da c c e s sc o n t r o l ( r b a c ) ；c o n f l i c tr e s o l u t i o ns t r a t e g yi nf l e x i b l e a c c e s sc o n t r o lp o l i c y ；d e s i g na n d a n a l y s i s o ft h ef l e x i b l ea u t h o r i z a t i o n f r a m e w o r kb a s e do nl o g i cp r o g r a m s b yc a r e f u li n v e s t i g a t i o no ft h ea b o v ep r o b l e m s ，t h ef o l l o w i n gr e s u l t sa n d c o n t r i b u t i o n sb a s e do nt h ef o u ra s p e c t sh a v eb e e no b t a i n e d ( 1 ) k n o w l e d g ea n ds p e c i f i c a t i o no f t h ef l e x i b l ea c o d s sc o n t r o l t oo u rb e s tk n o w l e d g e ，t h ec o n c e p to ff l e x i b l ea c c e s sc o n t r o lh a sn o tb e e n s p e c i f i e dd e f i n i t e l ya n ds u m m a r i z e ds of a r w et h i n kt h a tt h em e a n i n go ff l e x i b l e a c c e s sc o n t r o li s a m b i g u o u sa n de v o l v i n g w ec a l ls i m p l yv i e wi ta s m u l t i a t t r i b u t e sa n dm u l t i - d o m a i n s , w h i c ha r et r a d i t i o n a la n dc l a s s i c a l ，b u t t o d a y sf l e x i b l ea c c e s sc o n t r o im a y r e f e rt ot r u s tm a n a g e m e n t ，t r u s tn e g o t i a t i o n e t e t h e r e f o r ei n d u c i n gc o n c e p t sa n d d e s c r i b i n gc h a r a c t e r i s t i c sa r en e c e s s a r yf o r f l e x i b l ea c c e s sc o n t r o l s f u r t h e r , w ea n a l y z e ds e v e r a lp r o b l e m sa b o u th o wt ou s e l o g i cp r o g r a m st or e p r e s e n tt h ef l e x i b l ea c c e s sc o n t r o lp o l i c i e s e s p e c i a l l y , w e a n a l y z e dh o wt ot h e f l e x i b l e ”f e a t u r e sa r es p e c i f i e dv i al o g i cr u l e s w ea l s o e x p l o i t e dt h es e v e r a lp r e v a i l i n gf r a m e w o r kt h e o r i e sf o rt h en e x ti n v e s t i g a t i o n t h u s ，t h ef o l l o w i n gc o n s e q u e n c e sh a v eb e e na c q u i r e d ： t h ec o n c e p t u a le x t e n s i o no ff l e x i b l ea c c e s sc o n t r o l si si n d u c e da s - a ) e x p r e s s i o nf r o me x p l i c i tt oi m p l i c i t ； b ) d e t e r m i n a t i o nf r o mi d e n t i t yt oa t t r i b u t e ； c ) u p d a t ef r o ms t a t i ct od y n a m i c ； d ) e n f o r c e m e n tf r o ms i n g l et oc o m p o s i t i o n a l ； e ) e n v i r o n m e n tf r o mc l o s et oo p e n 一t h ec h a r a c t e r i s t i c so ff l e x i b l ea c c e s sc o n t r o l sa r es u m m a r i z e da s ： a ) c o n d i t i o n s ( r e f e r r i n gt os y s t e m ，c o n t e x t ，h i s t o r ya n ds oo n ) ； b ) h i e r a r c h i e s ( i n c l u d es u b j e c t , o b j e c t ，p r i v i l e g ea n dr o l e ) ； c ) p o s i t i v ea n dn e g a t i v ea u t h o r i z a t i o n s ； d ) a t t r i b u t e sb a s e ds p e c i f i c a t i o n s ； e ) d y n a m i ce n v i r o n m e n t s ； 0a u t h o r i z a t i o nd e r i v a t i o n s t h es t r u c t u r a lf e a t u r e so fl o g i c p r o g r a m sc a ns p e c i f yt h er e s p o n d i n g p r o p e r t i e so fs e c u r i t yr e q u i r e m e n t s , a tt h es a m et i m e ，a l s od e t e r m i n et h e s e m a n t i c sc o m p u t a t i o no ft h el o g i cp r o g r a m s v a b s t r a c t - s e v e r a lp r e v a i l i n ga u t h o r i z a t i o nf r a m e w o r k sa r ec o m p l e m e n t a r ya n dg r o s s b e t w e e na d v a n t a g e sa n dd i s a d v a n t a g e s t h i sg i v e sb st h es p a c ef o rf u r t h e rs t u d y ( 2 ) f l e x i b i l i t yo fr b a cm o d e l b a s e do na n a l y z i n gt h ef l e x i b i l i t yo fr b a c ，w eh a v ep r o p o s e dt h ep r o b l e m ：a f o r m a la n a l y s i sf o ri m p l e m e n t i n gl b a ci nr b a c ，w h i c hr e f e r st oh o wt o i m p l e m e n tl a t t i c e - b a s e da c c e s sc o n t r o l ( l b a c ) p o l i c yu s i n gt h em e c h a n i s m so f r b a c a l t h o u g ht h e r eh a v eb e e ns o m er e s e a r c h e so nt h er e l a t i o n s h i p sb e t w e e n l b a ca n dr b a c ，t h e s er e s e a r c h e sa r en o n - f o r m a l o u ri n v e s t i g a t i o ni sb a s e d o nt h ef o r m a lm e t h o dr e l a t e dt ot h ei d e a so fr e l a t i o n ，h o m o m o r p h i s ma n dl o g i c e t c t h er e s e a r c hh a st h ef o l l o w i n gm a i nc o n t r i b u t i o n s ： - - t h ef o r m a la n a l y s i ss h o w sh o wt ou s et h er b a cf r a m e w o r kt ov a l i d a t et h e k e yl b a cp o l i c i e s ，s u g g e s t i n gt h a tr b a ch a sag o o dr o l et op l a yi nu n i f y i n g t h ef o r m a lt r e a t m e n to far a n g eo fl b a cs y s t e m s 。4 一t h er e s e a r c hc a nc o n c l u d et h a ts e v e r a ls t u d i e dl a t t i c e - b a s e da c c e s sc o n t r o l p o l i c i e sc a nb ec a r r i e do u ti nr b a c ，a n dt h a tt h em e c h a n i s mo fm a n a g i n g a c c e s sc o n t r o li nr b a cc a nb ec l e a r l ye x p l o i t e d 一t h r o u g hu s i n go n es e c u r i t ym o d e la sau n i f y i n gp r i n c i p l ef o rs t u d y i n go t h e r s ， w eh a v ep o s s i b i l i t yt oe x p l o r eaw a yf o r r e a s o n i n ga b o u tc o m b i n a t i o n so f s e c u r i t yp o l i c i e s ( 3 ) c o n f l i c tr e s o l u t i o ns t r a t e g yw i t hp r e f e r e n c e t oo u rb e s tk n o w l e d g e ，t h e r ea r el i t t l ec o n f l i c tr e s o l u t i o np o l i c e sw i t hl i t e r a l p r e f e r e n c ea p p l i e dt oa c c e s sc o n t r 0 1 i nt e r m so ft h ep r i n c i p l e so fc o n f l i c t s r e s o l u t i o n s ，w eh a v er e s e a r c h e dt h ep r o b l e m ：c o n f l i c t sr e s o l u t i o nw i t hl p o d p r o g r a m ，w h e r er u l e sw i t hl p o d ( l o g i cp r o g r a mw i t ho r d e r e dd i s j u n c t i o n ) a r e a p p l i e dt os o l v ec o n f l i c t s o u rm e t h o dh a s t h ef o l l o w i n ga d v a n t a g e s ： t h em e t h o di sac o n f li c tr e s o l u t i o nw i t hp r e f e r e n c e ri sb a s e do nl i t e r a l sa n d d e p e n d e n t - c o n t e x t ，d i f f e r e n tf r o mr u l e 州o r i t ya n do r g a n i z a t i o nb a s e ds t r a t e g y t h u sd e c i s i o no ft h i sm e t h o di sf i n e g r a i n ； 一t h es e m a n t i c so fl p o dp r o g r a mi sn o tas t a b l em o d e l ，b u ti t ss e m a n t i c c o m p u t a t i o n c a nt r a n s f o r mi n t os t a b l em o d e l t h e r e f o r e ，i ti sn o v e l t h ec r i t e r i ao fs e l e c t i n ga n s w e rs e t sa l em o r ef l e x i b l ea n dw e l l a c c o m m o d a t i n gt op r a c t i c a lr e q u i r e m e n t s ( 4 ) f l e x i b l ea u t h o r i z a t i o nf r a m e w o r kb a s e do nl o g i cp r o g r a m s o u rp r o p o s e da u t h o r i z a t i o nf f a m e w o d ci sc o m p o s e do ft h ep r o g r a m so ft h r e e m a i np a r t s ：p r a pm o d u l e u r a pm o d u l ea n du r - r pa u t h o r i z a t i o np o l i c y m o d u l e ，w h e r ep r a pm e a n sp r i v i l e g er o l ea s s i g n m e n tp r o g r a mt h a ti si n c h a r g eo fa s s i g n i n gp r i v il e g e st or o l e s ；u r a pe x p r e s s e su s e r r o l ea s s i g n m e n t p r o g r a mw h o s ef u n c t i o ni st h ea s s i g n m e n to fr o l e st ou s e r s ；u r - r pp r o g r a m c o m b i n ep r a pa n du r a pf o ri m p l e m e n t i n gt h ei n t e g r a t i o no f m u l t i p l ep o l i c i e s t h ef r a m e w o r kh a st h ef o l l o w i n ga d v a n t a g e s ： 一a st h ea d m i n i s t r a t i v em e c h a n i s mo ft h ef r a m e w o r ki sb a s e do nr b a c ，i tm a y b e e a s i l yf u r t h e re x t e n d e da n dr e f i n e d 一s i n c et h e 行a m e w o r ki ss p e c i f i e db yl o g i cp r o g r a m s ，i ti sf e x i b l e u s i n g r b a ct oo r g a n i z et h er u l e si nas p e c i f i c a t i o nm a ye n h a n c et h ec o n s t r u c t i o no f t h es p e c i f i c a t i o n - t h ec o m p o n e n tm o d u l e sc a na d o p tt h ea d v a n t a g e so ft h et h e o r i e si nt h e l i t e r a t u r e f o ri n s t a n c e ，p r a pm a k e su s eo ft h ef i n e g r a i n e da n ds t r u c t u r a l p r o p a g a t i o nm e c h a n i s mi n b e r t i n 0 9 9f r a m e w o r kf o rr o l e s , o b j e c t sa n d p r i v i l e g e s ；u r a pe m p l o y st h em u l t i p l ec o n f l i c tr e s o l u t i o na n d d e c i s i o np o l i c i e s i nf a ff o ru s e r s u r - r pe x p l i c i t l yf a c i l i t a t e st h es e s s i o nl i k er b a c 一t h ec o m p o n e n tm o d u l e si m p l e m e n ti n d e p e n d e n t l yt h ep o l i c i e s ，a n di n t e r p l a y o nb a s eo ft h eu n i l y i n gf r a m e w o r k i nf a c t , t h ef u n c t i o n so ft h ei m p l e m e n t a t i o n s a n di n t e r p l a ya r eb a s e do nt h ec o m b i n a t i o no f l o g i cp r o g r a m s 。 s i n c en o n m o n o t o n i ct h e o r yi su s e di no u rf r a m e w o r k 。w ec a nu s eb e l i e f r e v i s i o nt oc a p t u r ef l e x i b l ep o l i c i e si nr e a l w o r l d a l lt h ea b o v ec o n s e q u e n c e sa r ew o r t h w h i l en o to n l yi nt h e o r yb u ta l s oi n p r a c t i c e ，a n da tt h es a m et i m et h e ya r ea l s ot h ef o u n d a t i o no fo u r f u r t h e rs t u d y o nt h ef l e x i b l ea c c e s sc o n t r 0 1 k e y w o r d s ： c a t a l o g u e ： s e c u r i t yp o li c y , l o g i cp r o g r a m ，r b a c ，f l e x i b l ea c c e s sc o n t r o l ， f l e x i b l ea u t h o r i z a t i o nf r a m e w o r k t p 3 0 9 2 t p l 8 2 1 2 5 l i s to ft a b l e s l i s to ft a b l e s 2 2a n e x a m p l eo f a c c e s sm a t r i x 1 5 2 2p r i m i t i v eo p e r a t i o n so f t h eh r u m o d e l 1 6 5 4r u l e so f d i f f e r e n tp r o p a g a t i o n p o l i c i e s 1 0 2 5 4r u l e so f s e v e r a lc o n f l i c tr e s o l u t i o np o l i c i e s ，1 0 4 5 6a n a c c e s sc o n t r o la l g o r i t h m 1 1 0 l i s to f f i g u r e s 2 2a ne x a m p l eo f s e c u r i t yl a t t i c e 2 0 2 2r b a c 9 6m o d e l 2 6 2 2n p d p r i v i l e g eg r a p h ：2 8 2 2r o l e b a s e dp o l i c i e sg r a p h ，2 9 2 2a ne x a m p l eo f r o l eh i e r a r c h y 3 0 2 2af r a m e w o r ko f c l i e n t s e r v e rm t e r p l a y ：3 2 3 3a no u t l i n eo ft h ed e v e l o p m e n to fa c c e s s c o n t r o lb a s e do nl o g i c s 5 3 4 2a ne x a m p l eo f u s e r - g r o u ph i e r a r c h y 7 0 4 2a ne x a m p l eo f o b j e c t h i e r a r c h y 7 0 5 2 f l e x i b l ea u t h o r i z a t i o na r c h i t e c t u r e 8 8 5 3p r a pp r o g r a m p r o c e s s 。9 8 附：学位论文原创性声明和关于学位论文使用授权的声明 原创性声明 本人郑重声明：所呈交的学位论文，是本人在导师的指 导下，独立进行研究所取得的成果。除文中已经注明引用的 内容外，本论文不包含任何其他个人或集体已经发表或撰写 过的科研成果。对本文的研究在做出重要贡献的个人和集体， 均已在文中以明确方式标明。本人完全意识到本声明的法律 责任由本人承担。 论文作者签名：酶 日 期：上业曼圭垃 关于学位论文使用授权的声明 本人完全了解贵州大学有关保留、使用学位论文的规定， 同意学校保留或向国家有关部门或机构送交论文的复印件和 电子版，允许论文被查阅和借阅；本人授权贵州大学可以将 本学位论文的全部或部分内容编入有关数据库进行检索，可 以采用影印、缩印或其他复制手段保存论文和汇编本学位论 文。 ( 保密论文在解密后应遵守此规定) 论文作者签名：雄 e l 。期： 2q q & 生旦 导师签名：必 e l 期：至q 垒妊旦 1 c h a p t e rl i n t r o d u c t i o n c h a p t e r i n t r o d u c t i o n i n f o r m a t i o ns e c u r i t yi san e c e s s a r yp a r ti nt r u s tc o m p u t i n g ，w h i l ea c c e s sc o n t r o l i sa ni m p o r t a n tr e a l mi ni n f o r m a t i o ns e c u r i t y i n t u i t i v e l y , a c c e s sc o n t r o li sa m a t t e rt h a tm e d i a t e se v e r yr e q u e s tt od a t aa n ds e r v i c e sm a i n t a i n e db yas y s t e m ， a n dd e t e r m i n e sw h e t h e rt h er e q u e s ts