王超
【姓名】 王超
【职称】
【研究领域】 计算机软件及计算机应用;互联网技术;
【研究方向】
【发表文献关键词】 网络安全,即时通信蠕虫,网络蠕虫,网络拓扑,传播模型,BLP模型,MLS策略,安全不变式,Z语言,Z/EVES定理证明器,安全级,安全性,联系人,可信主体,客体,形式化分析,主动探测,服务器,系统安全...
【工作单位】 中国科学院软件研究所
【曾工作单位】 中国科学院软件研究所;
【所在地域】 北京中国
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 2 2 0 72 804
中国期刊全文数据库    共找到2篇
[1]何建波;卿斯汉;王超;.对一类多级安全模型安全性的形式化分析[J]计算机学报.2006,(08)
[2]卿斯汉;王超;何建波;李大治;.即时通信蠕虫研究与发展[J]软件学报.2006,(10)
更多