-
题名S-Shark安全工作流管理系统设计与实现
被引量：1
- 1
-
-
作者
刘丁
王小明
付争方
窦文阳
-
机构
陕西师范大学智能信息处理与信息安全研究所
陕西师范大学民族教育学院
陕西师范大学计算机科学学院
-
出处
《计算机应用研究》
CSCD
北大核心
2009年第4期1515-1516,1519,共3页
-
基金
国家教育部科学研究重点资助项目(107106)
2008年度陕西师范大学青年科技资助项目(200801021)
-
文摘
以工作流信息模型安全机制不足为研究对象,通过模型扩展的方法,建立一种安全工作流访问控制模型ETRBAC。该模型在典型T-RBAC模型基础上,提出了职责分离约束和基数约束等问题的解决方案。结合优秀开源工作流管理系统Shark,设计并实现了ETRBAC模型中的相关安全机制,形成S-Shark(secure-Shark)工作流管理系统。S-Shark具有安全性、易用性和可扩展性等优势。
-
关键词
工作流
工作流管理系统
访问控制
授权
约束
-
Keywords
workflow
workflow management
access control
authorization
constraint
-
分类号
TP302.1
[自动化与计算机技术—计算机系统结构]
-
-
题名具有时空约束的角色访问控制模型
被引量：6
- 2
-
-
作者
安小明
王小明
王巧玲
-
机构
陕西师范大学计算机科学学院
陕西师范大学智能信息处理与信息安全研究所
-
出处
《计算机工程与应用》
CSCD
北大核心
2010年第7期89-92,共4页
-
基金
国家自然科学基金No.60773224
教育部科学研究重点项目No.107106
陕西省自然科学基金No.2006F27~~
-
文摘
信息技术的高度发展对信息安全提出了新的挑战,经典的基于角色的访问控制(RBAC)中缺乏对时间和空间的约束,使RBAC模型不能适应信息系统新的安全需求。在RBAC的基础上,引入了时空域的定义,对模型中各要素进行了时间和空间约束,提出了具有时空约束的角色访问控制模型(TSRBAC)。形式化地描述了TSRBAC,并定义了时空角色继承和时空职责分离,给出了时空访问控制算法。
-
关键词
角色访问控制
时空域
时空约束
时空职责分离
-
Keywords
role-based access control
spatio-temporal domain
spatio-temporal constraint
spatio-temporal separation of duty
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于生物免疫原理的网络蠕虫免疫模型
- 3
-
-
作者
张宏琳
王小明
-
机构
陕西师范大学智能信息处理与信息安全研究所
-
出处
《计算机科学与探索》
CSCD
2007年第1期95-107,共13页
-
基金
(国家自然科学基金)No.10571112
(教育部科学研究重点项目)No.107106
(陕西省自然科学基金)No.2006F27~~
-
文摘
提出一种新的网络蠕虫传播模型,并基于生物免疫原理提出了成熟良性蠕虫、记忆良性蠕虫和疫苗良性蠕虫新概念,建立了新的主机状态转移关系,运用系统动力学理论和方法,建立了一种新的网络蠕虫免疫模型,它能够从定性和定量两方面分析和预测网络蠕虫免疫过程,并能够深入刻画恶性蠕虫和良性蠕虫交互过程中的网络特性,为动态防治网络蠕虫提供了新的理论依据。模拟实验结果表明,引入的三种良性蠕虫是动态防御恶性网络蠕虫传播的重要因素。
-
关键词
生物免疫原理
网络蠕虫
良性蠕虫
蠕虫传播模型
状态转移关系
动力学理论
网络特性
模拟实验
免疫模型
交互过程
动态防治
动态防御
性网络
主机
运用
预测
疫苗
系统
记忆
概念
-
Keywords
biological immune
mature friendly worms
memory friendly worms
bacterin friendly worms
system dynamics
-
分类号
TP
[自动化与计算机技术]
-
