（计算机应用技术专业论文）信息和系统安全管理策略工程研究.pdf

上海交通大学博士学位论文摘要 信息和系统安全管理策略工程研究 摘要 策略一直在复杂系统的管理中扮演着一个重要的角色，可以用来指导企业的信 息和系统的管理。基于策略的管理方法是近年来被广泛认可的、管理复杂系统的 一个有效解决方案，其核心思想是使用策略来驱动管理过程，把管理策略和管理 系统分离开来，根据环境变化的需要而动态改变管理策略，从而相应地改变系统 的行为，无需重新实现系统，提高了管理系统的可扩展性和灵活性，增加了系统 管理的实时性和自动化程度。基于策略的管理最初应用于网络的q o s 管理领域， 而在信息和系统的安全管理领域的应用也颇具吸引力，目前正吸引着越来越多的 学者和研究人员的兴趣 基于策略的管理突出了策略在管理中的作用，然而在一个复杂的信息系统中， 管理策略本身就构成了一个特殊的、复杂的、相对独立的子系统，并形成于一个 复杂而又完整的过程，这个过程将包括策略的定义、分析、翻译转换、发布、执 行和维护等等。因此，需要在一个系统方法学的指导下，将管理过程中的各个环 节和各种任务有机地组织起来。策略生命周期的研究目的着眼于研究管理策略自 身的管理，可用于指导整个基于策略的管理过程，将管理过程中的各个环节、各 种管理活动和资源有机地组织起来，以确保管理策略的完整性、完全性、正确 性、可实施和可维护性。作为一项重要的、原创性的研究成果，本文给出了一个 合理的、完整的策略生命周期模型，明确定义了策略演化过程中各阶段的目标、 任务、活动、输入输出和参与者，以及各阶段之间的依赖关系等等。 信息和系统管理的主要目标是保证对企业信息资源的正确、高效和安全的利 用，以支持企业的业务目标。编写和定义明确的、全面的、精确和完整的系统管 理策略对于成功的企业信息资源的管理是至关重要的。而信息系统的管理需求分 析正是编写和定义管理策略的依据和基础，在成功的系统管理中起着决定性的作 用，同时也是目前该领域最薄弱环节，尚未见有正式的研究成果。本文通过对软 件工程中各种系统需求分析技术的研究和比较，采纳了基于目标的需求分析技 术，在该方法的基础上，进行了相应的改进和扩展，使之能够很好地应用于信息 上海交通大学博士学位论文信息和系统管理策略工程研究 资源管理需求分析和管理策略的定义。基于目标的需求分析是以目标为主线，通 过对目标的鉴别、定义、分析、组织和精化等来获取系统需求的一种方法。本文 提供了基于目标的企业信息和系统管理需求分析框架模型，介绍了建立目标模型 的步骤和方法，以及根据目标模型定义信息和系统管理策略的规则。目标障碍分 析和处理也是基于目标的需求分析中的一项重要任务，本文同样讨论了目标障碍 的识别和处理，除采用传统的障碍处理方法外，还提供了直接根据障碍来定义相 应的管理策略的方法。另外本文还重点讨论了在系统安全管理中，如何根据恶意 目标建立反目标模型，以及如何根据反目标模型确定安全需求和定义安全策略等 的方法。 除了基于目标的需求分析外，还可以借鉴其它的系统需求分析方法，本节将简 单介绍如何采用用况和误用用况来进行信息和系统的管理需求分析以及指导管理 策略的制定。误用用况是一种特殊类型的用况，定义了不希望系统实体发生的行 为，可用束对系统中的错误和恶意行为进行建模。本文提供了建立用况和误用用 况模型的方法，提供了用况和误用用况模板，以及根据用况和误用用况确定管理 策略的方法。 策略的分析和验证也是策略演化过程中的另外一个重要任务。在策略演化过程 中的各个阶段，都需要对相应层次的策略进行分析和验证。由于在策略的演化过 程中各个阶段所处的上下文环境不同，策略的抽象层次不同，因此，各个阶段的 分析和验证的侧重点和任务也不一样，所采用的分析方法和建模工具也不尽相 同。本文分别在策略的高层、中间层和低层三个不同抽象层中各选出一到两项重 要的、目前该领域中尚未成熟、亟待解决的一些策略分析和验证内容进行讨论。 对于高层策略，本文分析了在实例化策略时应考虑的问题，例如如何反映策略之 间的依赖关系、如何实现策略实例间的安全约束和控制原则、以及如何进行合理 的资源分配和规划等等。本文采用彩色p e t r i 网建立业务过程的授权和职责模型， 利用线性代数技术分析授权状态的可达性，从而验证策略实例是否违反了安全约 束和控制原则；本文还利用p e t r i 网的覆盖图来计算业务过程的有效执行链，从而 实现了对人力资源的合理规划。对于中间层策略，本文重点讨论了如何分析和验 证中间层策略是否满足或符合高层策略的要求，是否与高层策略相矛盾等。本文 以网络的访问控制策略为例，仍采用彩色p e t r i 网作为主要建模和分析工具，通过 提供一个经过扩展的彩色p e t r i 网框架，在系统和抽象设备层上对网络、网络访问 控制策略和网关的路由或过滤规则进行建模，利用p e t r i 网的覆盖图验证网关配置 的正确性，并且给出了如何发现和纠正错误的方法。对于低层策略，本文利用空 n 上海交通大学博士学位论文摘要 问几何技术对防火墙的过滤规则进行建模，帮助系统管理人员发现和消解过滤规 则冲突，并能够对防火墙规则库进行彻底重写和全面优化，大大减少规则的数 量，从而提高了防火墙的性能。在空间几何模型中，每个过滤规则被映射成多维 空间中的一个规则几何体，从而使防火墙配置的语义可视化，对过滤规则的验证 变得简单而直观。 策略的翻译、发布和实施同样是基于策略的管理中的关键环节，也是目前大多 数研究人员的研究重点，本文将对它们做一些简单的探讨，简单介绍了目前策略 的翻译、发布和实施中常用的一些基本方法。 综上所述，本文的主要创新性研究工作可以概括为： 系统地研究了信息和系统的管理策略的生命周期，首次明确提出了策略工程 和策略生命周期模型的概念，并给出了一个合理的、完整的策略生命周期模型， 可用以指导实施基于策略的管理方法在企业的信息和信息系统管理中的应用； 在策略工程概念的指导下，明确了管理需求分析在策略生命周期中的重要 性，并在借鉴了已有的需求分析技术基础上，提供了基于目标的信息和系统管理 需求分析技术，以及根据需求确定管理耳标和管理策略的方法： 对于策略的分析和验证，提供了一些新的建模和分析方法，例如采用彩色 p e t r i 网对业务过程的授权和职责进行建模，不仅能够包含权限和职责管理，还能 够包含安全约束如s o d ( s e p a r a t i o no fd u t y ) 以及角色层次关系结构( r o l eh i e r a r c h y ) 等概念。对于网络访问控制，首次采用彩色p e t r i 网对网络和相关访问控制策略进 行建模，给出了如何根据所要进行的分析类型确定p e t r i 网中弧方向的方法。在防 火墙过滤规则的分析中，将原有的两个规则之间的冲突概念扩展到多个规则之 间，并给出了规则库的彻底重写和全面优化的方法。 关键词：策略工程，策略生命周期模型，信息和系统管理，基于目标的需求分 析，策略验证，策略优化 i i i 上海交通大学博士学位论文a b s l l u l c t s t u d yo np o l i c ye n g l n e e r i n gf o r s e c u r i t ym a n a g e m e n to f e n t e r p r i s e i n f o r m a t i o na n ds y s t e m s a b s t r a c t p o l i c i e sa l w a y sp l a ya ni m p o r t a n tr o l ei nt h em a n a g e m e n to fc o m p l e xs y s t e m s i t i sa l s ow e l ls u i t e dt ob eu s e di nt h em a n a g e m e n to fe n t e r p r i s ei n f o r m a t i o na n d s y s t e m s p o l i c y b a s e dm a n a g e m e n t ( p b m ) i sa c c e p t e da sap r o m i s i n gs o l u t i o nf o r m a n a g e m e n to fc o m p l e xs y s t e m si nr e c e n ty e a r s t h em a i ni d e ai np m b i st h eu s eo f p o l i c i e sa sam e a n so fd r i v i n gm a n a g e m e n tp r o c e d u r e s i np b m p o l i c i e sa r e s e p a r a t e df r o mt h em a n a g e m e n ts y s t e m s p o l i c e sa r ec h a n g i n ga c c o r d i n gt h en e e d s o ft h ec h a n g i n ge n v i r o n m e n ta n dt h u sc h a n g et h eb e h a v i o r so ft h es y s t e m sw i t h o u t h a v i n gt or e - i m p l e m e n tt h es y s t e m s t h i sc h a r a c t e r i s t i ci s a b l et oi m p r o v et h e s c a l a b i l i t ya n df l e x i b i l i t yo ft h em a n a g e m e n ts y s t e m t h em a n a g e m e n tp r o c e d u r e c a nt h u sb el a r g e l ya u t o m a t e da n da d j u s t e di nr e a l - t i m e p o l i c y - b a s e dm a n a g e m e n ti s o r i g i n a l l ya p p l i e di nt h ea r e ao fn e t w o r kq o sm a n a g e m e n t n o wi t sa p p l i c a t i o ni n t h es e c u r i t ym a n a g e m e n to fi n f o r m a t i o na n ds y s t e m si sb e c o m i n gm o r ea n dm o r e a t t r a c t i n gt ot h er e s e a r c h e r si nt h i sa r e a p b me m p h a s i z e st h ei m p o r t a n c eo f p o l i c i e s i nt h em a n a g e m e n ta c t i v i t y h o w e v e r ，i nac o m p l e xi n f o r m a t i o ns y s t e m ，p o l i c i e st h e m s e l v e sw o u l dc o n s t i t u t ea s p e c i a lc o m p l e xa n dr e l a t i v e l ys e p a r a t e ds u b - s y s t e ma n da r es h a p e dt h r o u g ha c o m p l e xa n di n t e g r a t e dp r o c e s s t h i sp r o c e s sw o u l dc o n t a i nt h ed e f i n i t i o n ，a n a l y s i s ， t r a n s l a t i o n ，d i s t r i b u t i o n ，e n f o r c e m e n ta n dm a i n t e n a n c eo ft h em a n a g e m e n tp o l i c i e s t h e r e f o r e ，a l la c t i v i t i e si nt h em a n a g e m e n tp r o c e s sm u s tb eo r g a n i z e da n dp e r f o r m e d u n d e rt h eg u i d eo fas y s t e m a t i cm e t h o d o l o g y t h ep u r p o s eo ft h er e s e a r c ho fp o l i c y l i f e c y c l ei st os t u d yt h em a n a g e m e n to fp o l i c i e st h e m s e l v e sa n dt og u i d et h ew h o l e p o l i c y b a s e dm a n a g e m e n tp r o c e d u r es oa st og u a r a n t e et h ei n t e g r i t y ，c o m p l e t e n e s s ， c o r r e c t n e s s ，e n f o r c e a b i l i t ya n dm a i n t a i n a b i l i t yo fm a n a g e m e n tp o l i c i e s t h i s x l 上晦交通人学博j 学位论文信息和系统管理策略工程研究 d i s s e r t a t i o np r o v i d e saw o r k a b l ea n dc o m p l e t ep o l i c yl i f e c y c l em o d e la n dd e f i n e s c l e a r l yt h eo b j e c t i v e s ，t a s k s ，a c t i v i t i e s ，i n p u t o u t p u t ，a n dp a r t i c i p a n t si ne a c hp h a s e o ft h ep o l i c ye v o l u t i o np r o c e s s t h er e l a t i o n s h i p sb e t w e e nt h e s ep h a s e sa r ea l s o g i v e n t h em a i no b j e c t i v eo ft h em a n a g e m e n to ft h ee n t e r p r i s ei n f o r m a t i o na n ds y s t e m s i st oe n s u r et h ee f f i c i e n t ，c o r r e c ta n ds e c u r i t yu s eo fi t si n f o r m a t i o nr e s o u r c e sa n d t h u st os u p p o r ti t sb u s i n e s so b j e c t i v e s c l e a r l y ，c o m p l e t e l y ，a n dp r e c i s e l yd e f i n e d m a n a g e m e n tp o l i c e sa r ec r i t i c a l t ot h es u c c e s s f u lm a n a g e m e n to fa ne n t e r p r i s e s i n f o r m a t i o nr e s o u r c e s t h er e q u i r e m e n t sa n a l y s i so fi n f o r m a t i o na n ds y s t e m s m a n a g e m e n ti s t h eb a s i so fp o l i c yd e f i n i t i o na n di st h ed e c i s i v ef a c t o ri nt h e s u c c e s s f u lm a n a g e m e n t h o w e v e r ，t h i sp r o b l e mh a sn o tr e c e i v e de n o u g ha t t e n t i o ni n t h el i t e r a t u r ea n dn of o r m a lr e s e a r c hr e s u l tc a nb ef o u n dc u r r e n t l y b yc o m p a r i n g v a r i o u sr e q u i r e m e n t sa n a l y s i st e c h n o l o g i e si nt h es o f t w a r ee n g i n e e r i n g ，w ea d o p t e d t h e g o a l b a s e dr e q u i r e m e n t sa n a l y s i st e c h n o l o g y b yn e c e s s a r ya d a p t a t i o na n d e x t e n s i o n ，t h eg o a l b a s e dr e q u i r e m e n t sa n a l y s i sm e t h o dc a nb ea p p l i e dt o t h e a n a l y z i n go fi n f o r m a t i o na n ds y s t e m sm a n a g e m e n tr e q u i r e m e n t sa n dd e t e r m i n a t i o n o fm a n a g e m e n tp o l i c e sq u i t es u i t a b l y ，g o a l - b a s e dr e q u i r e m e n t sa n a l y s i sb s e sg o a l s a st h em a i nc l u et oa c q u i r es y s t e mr e q u i r e m e n t st h r o u g hg o a li d e n t i f i c a t i o n ，a n a l y s i s ， d e f i n i t i o n ，r e f i n e m e n t ，a n do p e r a t i o n a l i z t i o n t h i sd i s s e r t a t i o np r o v i d e sag o a l b a s e d r e q u i r e m e n t sa n a l y s i sf r a m e w o r kf o rm a n a g e m e n to fe n t e r p r i s ei n f o r m a t i o na n d s y s t e m s t h ep r o c e s sa n dm e t h o df o re s t a b l i s h i n gt h eg o a lm o d e la n dt h er u l e sf o r d e f i n i n gm a n a g e m e n tp o l i c i e sf r o mt h eg o a lm o d e la r ea l s op r o v i d e d a n o t h e r i m p o r t a n tp a r ti ng o a l - b a s e dr e q u i r e m e n t sa n a l y s i si st h ea n a l y s i so fo b s t a c l e st o g o a l s t h i sd i s s e r t a t i o n a l s oi n t r o d u c e st h em e t h o df o rt h ei d e n t i f i c a t i o na n d h a n d l i n go fo b s t a c l e s b e s i d e st h et r a d i t i o n a lm e t h o d sf o ro b s t a c l eh a n d l i n g ，t h i s d i s s e r t a t i o np r o v i d e sam e t h o dt oh a n d l eo b s t a c l e sb yd e f i n i n gm a n a g e m e n tp o l i c i e s d i r e c t l yf r o mt h e m t h i sd i s s e r t a t i o na l s oi n t r o d u c e sh o wt oe s t a b l i s ha n t i g o a l m o d e lf r o mm a l i c i o u sg o a l st o a c q u i r er e q u i r e m e n t s i ns e c u r i t ym a n a g e m e n to f i n f o r m a t i o na n ds y s t e m s ，a n dh o wt od e r i v es e c u r i t ym a n a g e m e n tp o l i c i e sf r o mt h o s e a n t i g o a l sa n dr e q u i r e m e n t s b e s i d e sg o a l b a s e dr e q u i r e m e n t sa n a l y s i s ，o t h e rr e q u i r e m e n t sa n a l y s i st e c h n i q u e s c a na l s ob ea d o p t e dt o a c q u i r et h er e q u i r e m e n t so fi n f o r m a t i o na n ds y s t e m s v i 匕海交通大学博十学位论文 目录 m a n a g e m e n t t h i sd i s s e r t a t i o nb r i e f l yi n t r o d u c e st h ea d o p t i o no fu s ea n dm i s u s e c a s e sf o rt h t sp u r p o s e m i s u s ec a s ei sas p e c i a lt y p eo fu s ec a s e i td e f i n e st h e u n d e s i r a b l eb e h a v i o r so ft h es y s t e mo rt h ee n t i t y ，w h i c ha r en o te x p e c t e dt oh a p p e n m i s u s ec a s ec a nb eu s e dt om o d e lt h ee r r o r so rm a l i c i o u sb e h a v i o r si nt h es y s t e m s t h i sd i s s e r t a t i o np r o v i d e st h em e t h o df o rt h ec o n s t r u c t i o no fu s ea n dm i s u s ec a s e s m o d e l sa n dp r o v i d e st h ed e f i n i t i o no ft h e i rt e m p l a t e s m a n a g e m e n t p o l i c i e sc a nt h u s b ed e r i v e df r o mt h eu s ea n dm i s u s ec a s e sa l r e a d yd e f i n e d t h ea n a l y z i n ga n dv a l i d a t i n go fm a n a g e m e n tp o l i c i e si sa n o t h e ri m p o r t a n tt a s k w i t h i nt h ep o l i c ye v o l u t i o np r o c e s s t h ef o c u sa n dc o n t e n t so ft h ea n a l y s i sv a r ya t e a c hp h a s eb e c a u s eo ft h e i rd i f f e r e n tc o n t e x ta n da b s t r a c t i o nl e v e l s a sar e s u l t ，t h e a n a l y s i st e c h n i q u e sa n dm o d e l i n gt o o l sa l s ov a r y t h i sp a p e rs e l e c t so n eo rt w o i m p o r t a n ta n di m m a t u r ei s s u e si np o l i c ya n a l y s i sa n dv a l i d a t i o na tt h eh i g h ，m e d i u m ， a n dl o wa b s t r a c t i o nl e v e l ss e p a r a t e l y f o rh i g h l e v e lp o l i c i e s ，t h i sp a p e rd i s c u s s e s t h ei s s u e st h a ts h o u l db ep a i da t t e n t i o nt od u r i n gp o l i c yi n s t a n t i a t i o n s ，s u c ha sh o w t or e f l e c tt h ed e p e n d e n c yr e l a t i o n s h i p sb e t w e e np o l i c i e s ，h o wt oi m p l e m e n tt h e s e c u r i t yc o n s t r a i n t sa n dc o n t r o lp r i n c i p l e sb e t w e e np o l i c yi n s t a n c e s a n dh o wt o a l l o c a t er e l a t e dr e s o u r c e sr e a s o n a b l y ，e t c t oa d d r e s st h e s ei s s u e s ，t h i sd i s s e r t a t i o n u s e sc o l o r e dp e t r in e tt om o d e lt h ea u t h o r i z a t i o na n do b l i g a t i o no fb u s i n e s sp r o c e s s a l g e b r at e c h n i q u ei sa d o p t e dt oa n a l y z et h er e a c h a b l ea u t h o r i z a t i o ns t a t e so ft h e m o d e lt ov e r i f yi fa n yp o l i c yi n s t a n c eh a sv i o l a t e dt h es e c u r i t yc o n s t r a i n t sa n d c o n t r o lp r i n c i p l e s t h i sd i s s e r t a t i o na l s ou s e st h ec o v e r a b i l i t yg r a p ho fp e t r in e tt o c a l c u l a t et h ev a l i de x e c u t i o nc h a i n so ft h eb u s i n e s sp r o c e s s ，w h i c hi sa b l et oh e l pt o p e r f o r mr e a s o n a b l eh u m a nr e s o u r c ea l l o c a t i o nf o rb u s i n e s sp r o c e s si n s t a n c e s f o r i n t e r m e d i a t el e v e lp o l i c i e s ，t h i sd i s s e r t a t i o ns h o w sh o wt oc h e c ki ft h ei n t e r m e d i a t e p o l i c i e sc o m p l yw i t ha n ds a t i s f yt h er e q u i r e m e n t so ft h eh i g hl e v e lp o l i c i e s c o l o r e d p e t r in e ti sa l s ou s e dh e r ea st h em o d e l i n ga n d a n a l y z i n gt o o lt oa n a l y z et h en e t w o r k a c c e s sc o n t r o lp o l i c i e s a ne x t e n d e dc o l o r e dp e t r in e tf r a m e w o r ki sp r o v i d e dt o m o d e lt h en e t w o r k ，n e t w o r ka c c e s sp o l i c i e sa n dg a t e w a yc o n f i g u r a t i o n sa tt h e s y s t e ma n da b s t r a c t i o nd e v i c el e v e l w es h o wh o wt ou s et h ec o v e r a b i l i t yg r a p ho f t h ec o l o r e dp e t r in e tt ov a l i d a t et h ec o r r e c t n e s so ft h eg a t e w a yc o n f i g u r a t i o n sa tt h e g l o b a lv i e w p o i n to ft h ew h o l en e t w o r k ，a n dh o wt of i n da n dc o r r e c tt h ee r r o r si n g a t e w a yc o n f i g u r a t i o n f o rl o w - l e v e lp o l i c i e s ，w ep r e s e n tat e c h n i q u eb yu s i n gt h e v i i 上海交通大学博士学位论文信息和系统管理策略工程研究 g e o m e t r yt e c h n o l o g yt om o d e lt h ef i r e w a l lf i l t e r i n gr u l e s t h i st e c h n i q u ec a nh e l pu s t od e t e c ta n dr e s o l v ec o n f l i c t sa m o n gf i l t e r i n gr u l e s ，a n di sa b l et or e w r i t ea n d o p t i m i z et h ef i l t e r i n gr u l eb a s ec o m p l e t e l y t h en u m b e ro ff i l t e r i n gr u l e si sl a r g e l y r e d u c e da f t e rt h eo p t i m i z a t i o na n da sar e s u l t ，t h ep e r f o r m a n c eo ft h ef i r e w a l lc a l lb e i m p r o v e dal o t i nt h eg e o m e t r ym o d e l ，e a c hf i l t e r i n gr u l ei sm a p p e do n t oar u l e o b j e c t i nt h e m u l t i p l e d i m e n s i o n a lh y p e r s p a c e t h es e m a n t i co ft h ef i r e w a l l c o n f i g u r a t i o ni st h e r e f o r ev i s u a lt ot h ea n a l y s ta n dt h ev a l i d a t i o no ff i l t e r i n gr u l e s a g a i n s tt h en e t w o r ka c c e s sp o l i c i e sb e c o m e si n t u i t i v ea n ds i m p l e p o l i c yt r a n s l a t i o n ，d i s t r i b u t i o n ，a n de n f o r c e m e n ta r ea l s oc r i t i c a lp h a s e si nt h e p o l i c ye v o l u t i o np r o c e s s t h e ya r ea m o n gt h er e s e a r c hi n t e r e s t so f m o s tr e s e a r c h e r s c u r r e n t l y t h i sd i s s e r t a t i o nb r i e f l yi n t r o d u c e st h em a i nm e t h o d st h a ta r ec u r r e n t l y a d o p t e di nt h el i t e r a t u r e i no n ew o r d t h em a i no r i g i n a lw o r k si nt h i sd i s s e r t a t i o na r es u m m a r i z e db e l o w ： s y s t e m a t i c a l l ys t u d yt h ep o l i c yl i f e c y c l ef o rt h em a n a g e m e n to fe n t e r p r i s e i n f o r m a t i o na n ds y s t e m s i n t r o d u c et h ee o n c e p to fp o l i c ye n g i n e e r i n ga n d p o l i c yl i f e c y e l em o d e lf o rt h ef i r s tt i m ei nt h el i t e r a t u r ea n dp r o v i d ea c o m p l e t ea n dw o r k a b l ep o l i c yl i f e c y c l em o d e lt h a tc a nb eu s e dt og u i d et h e a p p l i c a t i o no fp o l i c y b a s e dm a n a g e m e n ti nt h em a n a g e m e n to fe n t e r p r i s e i n f o r m a t i o na n ds y s t e m s ； c l e a r l ye m p h a s i z et h ei m p o r t a n c eo ft h em a n a g e m e n tr e q u i r e m e n t sa n a l y s i si n t h ep o l i c yl i f e c y c l eu n d e rt h eg u i d a n c eo ft h ec o n c e p to fp o l i c ye n g i n e e r i n g p r o v i d et h eg o a l - b a s e dr e q u i r e m e n t sa n a l y s i st e c h n i q u ef o ri n f o r m a t i o na n d s y s t e m sm a n a g e m e n ta f t e rc o m p a r i s o no fe x i s t i n gr e q u i r e m e n t sa n a l y s i s t e c h n i q u e si nt h es o f t w a r ee n g i n e e r i n g ，a n dp r o v i d et h em e t h o df o rd e t e r m i n e t h em a n a g e m e n to b j e c t i v e sa n dp o l i c i e sb a s e do nt h ea c q u i r e dr e q u i r e m e n t s ； f o rp o l i c ya n a l y s i sa n dv a l i d a t i o n ，p r o v i d es o m en e wm o d e l i n ga n da n a l y z i n g t e c h n i q u e s f o re x a m p l e ，t h e u s eo fc o l o r e dp e t r in e tt om o d e lt h e a u t h o r i z a t i o na n do b l i g a t i o no ft h eb u s i n e s sp r o c e s si sa b l et oc o n t a i nn o t o n l yt h em a n a g