李俊峰 何婷婷 白硕 杨进才 陈庆锋 沈显君 王兴 付岩 谭建龙 魏开平 李国杰 隋立颖

动态逻辑 变化 网络安全 电子图书 数字版权 非单调逻辑 移动代理 插件 分布式工作流 水印 本体管理 协议验证 任务层次分解 信息安全 版本管理 密钥管理 插件技术 本体版本管理机制 知识产权 安全内核 安全策略 RBAC SKCC模型 基于任务的访问控制 透明的版权原子 本体 安全协议 数字权利管理 版权保护

国家智能计算机研究开发中心 华中师范大学计算机科学系 湖北武汉 中国科学院计算技术研究所