2011年第22卷第3期目录

   
浏览其它刊期:  
  

本期目录

串的快速连续弱哈希及其应用
  徐泽明,侯紫峰
  2011,22(3):353-365
  [摘要](5793)  [PDF 361.86 K](8737)
有穷时间投影时序逻辑的完备公理系统
  舒新峰,段振华
  2011,22(3):366-380
  [摘要](5700)  [PDF 471.13 K](8292)
引入关联缺陷的软件可靠性评估模型
  徐高潮,刘新忠,胡亮,付晓东,董玉双
  2011,22(3):439-450
  [摘要](5841)  [PDF 331.34 K](8607)
负载相似节点分布解决传感器网络能量洞问题
  李巧勤,刘明,杨梅,陈贵海
  2011,22(3):451-465
  [摘要](5696)  [PDF 560.96 K](7805)
基于分布式实时信息的车载网络路由协议
  宋超,刘明,龚海刚,陈贵海,王晓敏
  2011,22(3):466-480
  [摘要](5636)  [PDF 442.21 K](8802)
域间路由协同监测中的信息共享机制
  胡宁,朱培栋,邹鹏
  2011,22(3):481-494
  [摘要](5855)  [PDF 593.74 K](7343)
基于Markov 博弈模型的网络安全态势感知方法
  张勇,谭小彬,崔孝林,奚宏生
  2011,22(3):495-508
  [摘要](7230)  [PDF 938.71 K](13235)
公平交换协议形式逻辑
  陈明,吴开贵,吴长泽,徐洁,吴中福
  2011,22(3):509-521
  [摘要](5886)  [PDF 413.35 K](8529)
提升多维特征检测迷惑恶意代码
  孔德光,谭小彬,奚宏生,宫涛,帅建梅
  2011,22(3):522-533
  [摘要](6683)  [PDF 342.56 K](8871)
时间相关密码协议逻辑及其形式化语义
  雷新锋,刘军,肖军模
  2011,22(3):534-557
  [摘要](5802)  [PDF 563.34 K](8324)
线性网络编码的导出与扩展
  蒲保兴,杨路明,王伟平
  2011,22(3):558-571
  [摘要](5869)  [PDF 347.29 K](8200)
AES 访问驱动Cache 计时攻击
  赵新杰,王韬,郭世泽,郑媛媛
  2011,22(3):572-591
  [摘要](6243)  [PDF 962.39 K](10606)

综述文章

网络化软件的复杂网络特性实证
  马于涛,何克清,李兵,刘婧
  2011,22(3):381-407
  [摘要](11884)  [PDF 614.69 K](29901)
软件库调用规约挖掘
  钟浩,张路,梅宏
  2011,22(3):408-416
  [摘要](9965)  [PDF 369.19 K](10787)
过程感知信息系统中过程的动态演化
  宋巍,马晓星,胡昊,吕建
  2011,22(3):417-438
  [摘要](9573)  [PDF 509.47 K](12216)