-
题名面向微处理器验证的约束描述语言及其编译器
- 1
-
-
作者
朱丹
冷彪
李暾
梁磊
郭阳
李思昆
-
机构
国防科技大学计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2005年第19期83-86,136,共5页
-
文摘
该文提出了一种用于微处理器体系结构级测试程序自动生成的约束描述语言,并设计实现了该语言的编译器,详细介绍了语言特性以及为了生成合法体系结构级测试程序,编译器所做的特殊处理。最后给出了利用该语言对DLX微处理器进行验证的实验和结果。
-
关键词
体系结构描述语言
约束满足问题
约束描述语言
-
Keywords
Architecture Description Language,constraints satisfiability problem,Constraints Description Language
-
分类号
TP338
[自动化与计算机技术—计算机系统结构]
-
-
题名角色转授权模型中授权冲突问题的解决方案
被引量：2
- 2
-
-
作者
孙伟
邬长安
王瑞民
-
机构
信阳师范学院计算机与信息技术学院
郑州大学信息工程学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2008年第36期244-248,共5页
-
文摘
针对现有用户-用户的角色转授权模型存在授权冲突问题,基于转授权的组件、相关性质以及约束规则,提出了一种约束转授权模型,该模型满足最小特权和职责分离两安全原则,给出了该模型的体系架构和功能描述;以此模型为背景介绍了一种约束描述语言及其形式化语义描述;通过规约算法和构造算法论证了它与严格形式上的一阶谓词逻辑是等价的,并对该约束语言的合理性和完整性进行了讨论;最后用该约束语言给出了模型的表现能力,较好的解决了转授权冲突问题。
-
关键词
基于角色的访问控制
转授权冲突
约束规则
约束描述语言
一阶谓词逻辑
-
Keywords
Role-Based Access Control（RBAC ）
delegation conflicts
constrained rules
Role-based Delegation Constraints Specifi- cation Language （RDCL）
Restricted First-Order Predicate Logic（RFOPL）
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
