刘琼波
- 作品数：7 被引量：99H指数：5
- 供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
- 发文基金：上海市科学技术发展基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信经济管理更多>>
- 基于工作流管理技术的网上购物仿真系统被引量：7
- 2000年
- 介绍了工作流管理系统的基本概念和建模方法，引入工作流组织模型和过程模型的描述语言，并将它们运用于网上购物仿真系统的设计和实现。为分布式系统集成提出一种新的方法。
- 梁坚施军刘琼波尤晋元
- 关键词：工作流管理系统网上购物仿真系统电子商场
- 数据访问控制系统的管理模型
- 2002年
- 建立了一个分布式、层次化和渐进性管理模型,包括个部分:域模型、主体模型和管理角色模型。给出了在建立管理模型时应该遵3循的原则:最大基数约束,责任分离原则。
- 刘琼波尤晋元
- 关键词：角色管理模型计算机安全
- 基于规则的安全策略定义语言被引量：8
- 2001年
- 基于任务角色访问控制机制,提出类似一阶谓词逻辑的安全策略定义语言,并具有一定的时序表达功能。用户使用这种高层描述语-言可在不同的系统中定义各种特定应用的安全策略。还给出了基于扩展的稳定模型的语义描述,定义了安全策略正确性的条件以及验证方法,并进一步讨论实现安全策略的有关问题。
- 施军刘琼波尤晋元
- 关键词：信息安全谓词逻辑
- 用RBAC实现DAC和MAC的一种方法被引量：33
- 2000年
- 提出一种用ＲＢＡＣ实现传统的ＤＡＣ和ＭＡＣ的方法．给出了形式化描述，并举例说明．只要灵活配置ＲＢＡＣ，就可实现多种安全策略．
- 刘琼波施军尤晋元
- 关键词：DACMAC计算机安全
- 分布式环境下的访问控制被引量：48
- 2001年
- 为适应分布式环境下的安全需求 ,提出了一种描述访问控制策略和判定访问请求的方法 .采用类似于无函数的扩展逻辑程序的表示方法对安全访问策略进行描述 ,限定权限传播的深度 ,利用不同的优先次序定义了多种消解冲突的规则 ,并给出了类似扩展逻辑程序的回答集语义解释 .结合确定性推理和可能性推理 ,描述了如何判定访问请求的算法 .解决了 3个问题 :分布式授权。
- 刘琼波施军尤晋元
- 关键词：访问控制私有权限信息安全分布式环境
- 基于角色——任务的安全模型的研究
- 该文根据国内外已有的研究成果及应用情况,系统地研究了基于角色和任务的安全模型,在此基础上提出了一种授权语言FEAL,并详细讨论了访问控制中任务的影响,为应用程序开发人员和系统管理员提供了根据实际应用灵活选择多种访问控制策...
- 刘琼波
- 关键词：访问控制角色
- 文献传递
- 有色Petri网在网络通信协议上的应用被引量：11
- 2001年
- 自１９６２年Ｃ．Ａ．Ｐｅｔｒｉ在其博士论文中首先提出Ｐｅｔｒｉ网后，Ｐｅｔｒｉ网理论和应用都取得了长足的进步。有色Ｐｅｔｒｉ网是由Ｋ．Ｊｅｎｓｅｎ提出的一种高级网系统，可以为系统建模提供强有力的支持。文章介绍了有色Ｐｅｔｒｉ网，并利用仿真工具Ｄｅｓｉｇｎ／ＣＰＮ对一个通信协议停－等协议进行分析。
- 刘琼波尤晋元
- 关键词：有色PETRI网网络通信协议数据帧
