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