-
题名面向微处理器验证的约束描述语言及其编译器
- 1
-
-
作者
朱丹
冷彪
李暾
梁磊
郭阳
李思昆
-
机构
国防科技大学计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2005年第19期83-86,136,共5页
-
文摘
该文提出了一种用于微处理器体系结构级测试程序自动生成的约束描述语言,并设计实现了该语言的编译器,详细介绍了语言特性以及为了生成合法体系结构级测试程序,编译器所做的特殊处理。最后给出了利用该语言对DLX微处理器进行验证的实验和结果。
-
关键词
体系结构描述语言
约束满足问题
约束描述语言
-
Keywords
Architecture Description Language,constraints satisfiability problem,Constraints Description Language
-
分类号
TP338
[自动化与计算机技术—计算机系统结构]
-
-
题名T-RBAC访问控制模型及其约束描述语言
- 2
-
-
作者
王命延
彭建文
-
机构
南昌大学信息工程学院
-
出处
《南昌大学学报（理科版）》
CAS
北大核心
2007年第3期302-306,共5页
-
文摘
一种结合了基于任务的访问控制模型TBAC和基于角色的访问控制模型RBAC特点的新型访问控制模型—T-RBAC。该模型采用了以任务为中心的“用户-角色-任务-权限”的四级访问控制结构,较好地解决了当前工作流系统中存在的安全性问题。此外,在新模型的基础上设计了一套描述约束机制的语言ETCL,该语言在RCL2000的基础上扩充了时间特性和任务的概念,使新模型具备了较完整的约束描述能力。
-
关键词
访问控制模型
工作流
约束描述语言
-
Keywords
access control model
workflow
constraint description language
-
分类号
TP317.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名角色转授权模型中授权冲突问题的解决方案
被引量：2
- 3
-
-
作者
孙伟
邬长安
王瑞民
-
机构
信阳师范学院计算机与信息技术学院
郑州大学信息工程学院
-
出处
《计算机工程与应用》
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
[自动化与计算机技术—计算机系统结构]
-
