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