美国服务器访问控制策略语言的类型有:1。高层策略描述语言。易于制定。理解与实施。但难以进行形式化的分析和验证;2。基于逻辑的形式化描述语言。易于进行安全性质的分析与验证。但过于复杂。语意不够直观。很难被广泛地接受。
具体内容如下:
1。高层策略描述语言
高层策略描述语言具有丰富的语意。且易于制定。理解与实施。如 KACMIL。 Ponder。SPL。RT等。但其描述的访问控制策略难以进行形式化的分析和验证。2。基于逻辑的形式化描述语言
基于逻辑的策略描述语言表达能力强大。且易于进行安全性质的分析与验证;但语言的语意不够直观。过于复杂。很难被广泛地接受。基于逻辑的形式化策略描述语言从计算方式的角度可以分为过程式和状态机式。绝大多数形式化策略语言都是基于状态机的。
更多服务器知识文章推荐:
本文标题:美国服务器访问控制策略语言的类型有哪些(美国服务器访问控制策略语言的类型有哪些)
本文地址:https://gpu.xuandashi.com/53655.html,转载请说明来源于:渲大师
声明:本站部分内容来自网络,如无特殊说明或标注,均为本站原创发布。如若本站内容侵犯了原著者的合法权益,可联系我们进行处理。分享目的仅供大家学习与参考,不代表本站立场!
本文地址:https://gpu.xuandashi.com/53655.html,转载请说明来源于:渲大师
声明:本站部分内容来自网络,如无特殊说明或标注,均为本站原创发布。如若本站内容侵犯了原著者的合法权益,可联系我们进行处理。分享目的仅供大家学习与参考,不代表本站立场!