| | 2011年第22卷第3期目录
本期目录 | | | 串的快速连续弱哈希及其应用 | | | 徐泽明,侯紫峰 | | | 2011,22(3):353-365 | | | [摘要](5994) [PDF 361.86 K](8921) | | | 有穷时间投影时序逻辑的完备公理系统 | | | 舒新峰,段振华 | | | 2011,22(3):366-380 | | | [摘要](5956) [PDF 471.13 K](8477) | | | 引入关联缺陷的软件可靠性评估模型 | | | 徐高潮,刘新忠,胡亮,付晓东,董玉双 | | | 2011,22(3):439-450 | | | [摘要](6180) [PDF 331.34 K](8743) | | | 负载相似节点分布解决传感器网络能量洞问题 | | | 李巧勤,刘明,杨梅,陈贵海 | | | 2011,22(3):451-465 | | | [摘要](5923) [PDF 560.96 K](7927) | | | 基于分布式实时信息的车载网络路由协议 | | | 宋超,刘明,龚海刚,陈贵海,王晓敏 | | | 2011,22(3):466-480 | | | [摘要](5826) [PDF 442.21 K](8984) | | | 域间路由协同监测中的信息共享机制 | | | 胡宁,朱培栋,邹鹏 | | | 2011,22(3):481-494 | | | [摘要](6169) [PDF 593.74 K](7512) | | | 基于Markov 博弈模型的网络安全态势感知方法 | | | 张勇,谭小彬,崔孝林,奚宏生 | | | 2011,22(3):495-508 | | | [摘要](7549) [PDF 938.71 K](13436) | | | 公平交换协议形式逻辑 | | | 陈明,吴开贵,吴长泽,徐洁,吴中福 | | | 2011,22(3):509-521 | | | [摘要](6133) [PDF 413.35 K](8704) | | | 提升多维特征检测迷惑恶意代码 | | | 孔德光,谭小彬,奚宏生,宫涛,帅建梅 | | | 2011,22(3):522-533 | | | [摘要](7012) [PDF 342.56 K](9054) | | | 时间相关密码协议逻辑及其形式化语义 | | | 雷新锋,刘军,肖军模 | | | 2011,22(3):534-557 | | | [摘要](6131) [PDF 563.34 K](8451) | | | 线性网络编码的导出与扩展 | | | 蒲保兴,杨路明,王伟平 | | | 2011,22(3):558-571 | | | [摘要](6115) [PDF 347.29 K](8336) | | | AES 访问驱动Cache 计时攻击 | | | 赵新杰,王韬,郭世泽,郑媛媛 | | | 2011,22(3):572-591 | | | [摘要](6435) [PDF 962.39 K](10811) | |
综述文章 | | | 网络化软件的复杂网络特性实证 | | | 马于涛,何克清,李兵,刘婧 | | | 2011,22(3):381-407 | | | [摘要](12169) [PDF 614.69 K](30206) | | | 软件库调用规约挖掘 | | | 钟浩,张路,梅宏 | | | 2011,22(3):408-416 | | | [摘要](10239) [PDF 369.19 K](10975) | | | 过程感知信息系统中过程的动态演化 | | | 宋巍,马晓星,胡昊,吕建 | | | 2011,22(3):417-438 | | | [摘要](9899) [PDF 509.47 K](12355) | |
|