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