刘晨燕
- 作品数：4 被引量：3H指数：1
- 供职机构：上海交通大学更多>>
- 发文基金：上海市自然科学基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于二进制序列集合的访问控制策略合成方法
- 本发明公开一种基于二进制序列集合的访问控制策略合成方法，首先定义二进制序列集合元素以及基于二进制序列的集合运算规则,根据以上定义，从属性约束层对实际的策略进行属性分解，并通过集合内部元素分离将策略正确的表达成为基于二进制...
- 潘理刘晨燕訾小超
- 文献传递
- 基于二进制序列集合的策略合成代数框架被引量：3
- 2013年
- 从代数建模和实现机制相融合的角度出发,提出了一种基于二进制序列集合的策略合成代数框架.首先通过定义二进制序列集合元素及构造集合运算规则,将策略抽象成逻辑模型.然后针对多终端二进制决策树(MTBDD)的逻辑建模机制中存在的编码次序敏感以及规则冗余问题,提出了基于二进制序列的移位合并算法.最后推导基于二进制序列的合成语义算子,建立该代数框架.通过时间复杂性分析和仿真实验,验证了该框架的有效性,其合成性能优于基于MTBDD策略树的合成机制.
- 刘晨燕潘理訾小超
- 关键词：访问控制
- 基于属性的多域策略合成机制研究
- 随着互联网的发展,尤其是分布式系统、云计算等应用的兴起,单一的本地访问模型已无法满足新型应用的发展趋势,因此,出现了大量的域间互操作理论。在多域的协作环境里,任一个机构是一个单独的拥有独立的访问控制策略的域,所谓的域间互...
- 刘晨燕
- 关键词：策略冲突检测云计算
- 一种基于二进制序列集合的访问控制策略合成方法
- 本发明公开一种基于二进制序列集合的访问控制策略合成方法，首先定义二进制序列集合元素以及基于二进制序列的集合运算规则,根据以上定义，从属性约束层对实际的策略进行属性分解，并通过集合内部元素分离将策略正确的表达成为基于二进制...
- 潘理刘晨燕訾小超
- 文献传递
