- 即时通信蠕虫研究与发展 ( EI收录)
- 1
- 《软件学报》中国科学院软件研究所信息安全技术工程研究中心;北京中科安胜信息技术有限公司 卿斯汉 王超 何建波 李大治 出版年:2006
- 关键词:网络安全卿时通信蠕虫 网络蠕虫 网络拓扑 传播模型
- 公平交换协议的一个形式化模型
- 2
- 《中国科学(E辑)》中国科学院软件研究所信息安全技术工程研究中心;北京中科安胜信息技术有限公司;中国科学院研究生院 卿斯汉 李改成 出版年:2005
- 关键词:公平交换协议 形式化模型 局部时序关系 安全目标 电子商务 安全技术 网络安全
- 混合RBAC-DTE策略的多角色管理 ( EI收录)
- 3
- 《计算机学报》中国科学院软件研究所基础软件国家工程研究中心;中国科学院软件研究所信息安全技术工程研究中心北京100080;中国科学院研究生院北京100049;中国科学院软件研究所信息安全技术工程研究中心;北京中科安胜信息技术有限公司北京100086 唐柳英 卿斯汉 出版年:2006
- 关键词:安全策略 混合RBAC-DTE访问控制模型 极小特权原则 多角色管理 Capability机制
- 对一类多级安全模型安全性的形式化分析 ( EI收录)
- 4
- 《计算机学报》中国科学院软件研究所基础软件国家工程研究中心;中国科学院软件研究所信息安全技术工程研究中心北京100080;中国科学院研究生院北京100049;北京中科安胜信息技术有限公司北京100086;中国科学院软件研究所信息安全技术工程研究中心 何建波 卿斯汉 王超 出版年:2006
- 关键词:BLP模型 MLS策略 安全不变式 Z语言 Z/EVES定理证明器
- 安全策略模型聚合性评估方法 ( EI收录)
- 5
- 《软件学报》中国科学院软件研究所基础软件国家工程研究中心;中国科学院软件研究所信息安全技术工程研究中心;中国科学院研究生院;北京中科安胜信息技术有限公司 蔡嘉勇 卿斯汉 刘伟 出版年:2009
- 关键词:聚合 安全标签 访问矩阵 动态策略 最小授权
- 基于IPSec和L2TP隧道实现技术的研究
- 6
- 《计算机科学》中国科学院信息安全工程中心;北京中科安胜信息技术有限公司 李琦 蒙杨 卿斯汉 出版年:2004
- 关键词:网络协议 IPSEC协议 网络隧道协议 L2TP Internet INTRANET 计算机网络 VPN
- 安胜高保障 系列防火墙
- 7
- 《信息安全与通信保密》北京中科安胜信息技术有限公司 卫宏儒 出版年:2002
- 关键词:北京中科安胜信息技术有限公司 网络安全 安胜高保障系列防火墙 个性化服务 功能
- 蜜罐研究与进展
- 8
- 全国网络与信息安全技术研讨会'2005 2005张新宇 卿斯汉 刘卫东 李琦 出版年:2005
- 关键词:网络安全 蜜罐 蜜网 网络攻击 入侵检测
- 网络蠕虫预警系统
- 9
- 全国网络与信息安全技术研讨会'2004 2004张新宇 卿斯汉 李琦 李大治 何朝辉 何雪煜 李晓东 出版年:2004
- 关键词:蠕虫 预警系统 特征分析 异常分析 网络蠕虫 网络数据流
- 蜜罐研究与进展
- 10
- 2005全国网络与信息安全技术研讨会 2005张新宇 卿斯汉 刘卫东 李琦 出版年:2005
- 关键词:网络安全 蜜罐 网络攻击 入侵检测