-
题名基于换道后距离预测的横向安全预警模型
被引量:5
- 1
-
-
作者
田娥
李立新
-
机构
北京市智能机械创新设计服务工程技术研究中心
北京联合大学机电学院
-
出处
《现代制造工程》
CSCD
北大核心
2017年第1期55-57,50,共4页
-
基金
北京市属高等学校高层次人才引进与培养计划项目(CIT&TCD201404093)
-
文摘
在主动避撞安全距离模型的基础上,假设自车在当前行车路况下进行安全换道,预测换道结束后自车与目标车道前、后车的距离,确定汽车横向安全预警系统发出换道危险警报的模型。通过仿真,证明运用该方法建立的横向安全预警模型是正确的。
-
关键词
主动避撞安全距离模型
汽车横向安全预警模型
换道后距离预测
-
Keywords
active collision avoidance distance model
vehicle lateral safety warning model
distance prediction after lane change
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于任务-角色的访问控制模型
被引量:16
- 2
-
-
作者
宋善德
刘伟
-
机构
华中科技大学计算机科学与技术学院
-
出处
《计算机工程与科学》
CSCD
2005年第6期4-6,9,共4页
-
文摘
本文介绍了一种称为基于任务角色的访问控制机制。它从工作流中的任务角度建模,可以依据任务和任务状态的不同,对权限进行动态管理;阐述了任务和任务实例之间的关系,以任务为中介将角色和权限关联起来,并对其模型进行了形式化描述和分析。
-
关键词
访问控制
主动安全模型
任务
工作流
-
Keywords
access control
active security model
task
workflow
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名支持协作的强制访问控制模型
被引量:6
- 3
-
-
作者
范艳芳
蔡英
-
机构
北京信息科技大学计算机学院
信息安全国家重点实验室(中国科学院信息工程研究所)
网络文化与数字传播北京市重点实验室
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2015年第10期2411-2421,共11页
-
基金
北京市高等学校青年英才计划基金项目(YETP1499)
网络文化与数字传播北京市重点实验室开放课题(ICDD201408
+1 种基金
ICDD201510)
中国科学院信息工程研究所信息安全国家重点实验室开放课题(2014-16)
-
文摘
按照国家信息系统等级保护要求,3级以上的信息系统必须具备强制访问控制和标记.已有的强制访问控制模型的访问规则十分严格,难以满足协作环境下的访问控制新需求.提出一种支持协作的强制访问控制模型(collaboration supported mandatory access control model,CSMAC),将主体-客体为中心的访问控制与任务为中心的访问控制相结合,使访问控制模型更符合主动安全模型的特点,大大提高了模型的灵活性,使其更适合于协作环境下的访问控制.模型中通过控制主客体的安全标记,解决了符合安全策略的敏感信息的双向流动问题.通过无干扰理论,对所提出模型的安全性进行了证明.
-
关键词
协作
强制访问控制
主动安全模型
信息流
任务
-
Keywords
collaboration
mandatory access control
active security model
information flow
task
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名协作环境下的时空约束强制访问控制模型
被引量:3
- 4
-
-
作者
范艳芳
-
机构
北京信息科技大学计算机学院
网络文化与数字传播北京市重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2017年第8期107-114,共8页
-
基金
国家自然科学基金面上项目(61672106)
网络文化与数字传播北京市重点实验室开放课题(ICDD201609)
+1 种基金
北京市教委科研计划项目(KM201711232014)
北京市自然科学基金项目(9021723401)资助
-
文摘
安全的信息共享对信息系统而言至关重要。协作环境下的关键应用对信息共享和信息安全提出了更高的要求。已有的基于BLP模型的强制访问控制模型均无法满足协作环境下关键应用的访问控制需求。因此提出一种协作环境下的具有时空约束的强制访问控制模型,将任务、时间、空间等要素进行综合考虑,从而将逻辑安全和物理位置相结合,既增强了访问控制模型的安全性,又满足了协作环境下访问控制的灵活性。采用无干扰理论对所提模型的安全性进行了证明。
-
关键词
协作
强制访问控制
主动安全模型
时空约束
信息流
任务
-
Keywords
Collaboration
Mandatory access control
Active security model
Temporal-spatial constraints
Information flow
Task
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名面向工作流应用的可组合授权模型
被引量:1
- 5
-
-
作者
吴荣
-
机构
华侨大学数学科学学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2011年第2期91-94,216,共5页
-
基金
福建省自然科学基金(No.Z0511028)
华侨大学科研基金(No.04HZR09)~~
-
文摘
针对分布式工作流系统授权管理的动态性、统一性和自治性的特点,将RBAC的授权管理思想和TBAC的动态访问机制结合起来,提出了支持工作流组合和动态授权控制的可组合授权模型。该模型提供了从工作流的组成结构和执行关系进行建模的方法,通过将各个处理单元的授权方案按照工作流的组合结构、执行依赖关系和主体依赖关系进行组合,从而构造适应更复杂的工作流系统的授权方案。对模型的定义和组合运算进行了形式化描述,给出了模型的表达能力和一致性、组合运算的兼容性和安全性的相关性质分析。最后介绍了支持动态授权的授权控制引擎原型。
-
关键词
可组合授权模型
授权管理
动态访问控制
工作流系统
主动安全模型
-
Keywords
composited authorization model
authorization management
dynamic access control
workflow authorization
active security model
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于任务的授权控制及其实现
被引量:1
- 6
-
-
作者
洪帆
邓集波
-
机构
华中科技大学计算机学院
-
出处
《计算机工程与科学》
CSCD
2002年第2期62-65,共4页
-
文摘
随着数据库、网络和分布式计算的发展 ,组织任务进一步自动化 ,与服务相关的信息进一步计算机化 ,这促使我们将安全问题方面的注意力 ,从静态的主体和客体保护转移到随着任务执行而进行动态授权保护。为适应需要 ,本文提出一种新的访问控制模型———基于任务的授权控制。文章最后给出了部分实现思路。
-
关键词
访问控制
主动安全模型
任务
网络安全
计算机网络
-
Keywords
access control
active security model
task
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-