2011年第22卷第6期目录
可量化的移动Ad Hoc 网络时空动态特性评估方法王伟,管晓宏,王备战,王亚平2011,22(6):1333-1349 [摘要(4462)] [PDF(8392)561.52 K][HTML()]高效安全的基于身份的签名方案谷科,贾维嘉,姜春林2011,22(6):1350-1360 [摘要(6676)] [PDF(6650)585.42 K][HTML()]WSANs 中基于实时性约束的actor 节点优化部署策略车楠,李治军,姜守旭2011,22(6):1361-1372 [摘要(5372)] [PDF(5116)749.26 K][HTML()]基于爬行器的大规模P2P IPTV 测量姜志宏,王晖,樊鹏翼2011,22(6):1373-1388 [摘要(5499)] [PDF(5900)877.73 K][HTML()]各向异性传感环境下的移动对象反监控算法王雷,蒋新华,王益民,林亚平2011,22(6):1389-1397 [摘要(4381)] [PDF(4879)757.51 K][HTML()]基于不确定图的网络漏洞分析方法刘强,殷建平,蔡志平,程杰仁2011,22(6):1398-1412 [摘要(4856)] [PDF(6335)617.70 K][HTML()]
P2P 流量识别鲁刚,张宏莉,叶麟2011,22(6):1281-1298 [摘要(9395)] [PDF(13192)840.72 K][HTML()]属性基加密机制苏金树,曹丹,王小峰,孙一品,胡乔林2011,22(6):1299-1315 [摘要(11097)] [PDF(22741)987.90 K][HTML()]无证书公钥密码体制研究张福泰,孙银霞,张磊,耿曼曼,李素娟2011,22(6):1316-1332 [摘要(10913)] [PDF(15438)817.61 K][HTML()]
形式化方法与工具专刊前言****王戟,李宣东2011,22(6):1121-1122 [摘要(8471)] [PDF(6191)181.15 K][HTML()]策略驱动的可靠嵌入式系统建模及分析方法范贵生,虞慧群,陈丽琼,刘冬梅2011,22(6):1123-1139 [摘要(7873)] [PDF(7261)568.31 K][HTML()]Java 指针指向分析优化李倩,汤恩义,戴雪峰,王林章,赵建华2011,22(6):1140-1154 [摘要(8791)] [PDF(8541)723.13 K][HTML()]Object-Z 规格说明测试用例的自动生成器许庆国,缪淮扣,曹晓夏,胡晓波2011,22(6):1155-1168 [摘要(8968)] [PDF(9907)926.87 K][HTML()]循环对称化简及在三值模型上的扩展魏欧,袁泳,蔡昕烨,黄志球,徐丙凤2011,22(6):1169-1184 [摘要(9115)] [PDF(6760)769.28 K][HTML()]场景驱动的服务行为调控柳溪,杨璐,潘敏学,王林章2011,22(6):1185-1198 [摘要(8584)] [PDF(6386)789.46 K][HTML()]混合语义时间Petri 网模型潘理,丁志军,郭观七2011,22(6):1199-1209 [摘要(8216)] [PDF(6842)623.71 K][HTML()]软件体系结构动态演化的条件超图文法及分析徐洪珍,曾国荪,陈波2011,22(6):1210-1223 [摘要(8506)] [PDF(7333)466.11 K][HTML()]基于AOP 的运行时验证中的冲突检测张献,董威,齐治昌2011,22(6):1224-1235 [摘要(8697)] [PDF(6996)603.94 K][HTML()]基于自动机理论的分布式实时调度分析工具桂盛霖,罗蕾,李允,于淼,徐建华2011,22(6):1236-1251 [摘要(8727)] [PDF(6934)915.24 K][HTML()]AADL 模型可靠性分析评估工具董云卫,王广仁,张凡,高磊2011,22(6):1252-1266 [摘要(9846)] [PDF(10666)882.34 K][HTML()]时变网络中国邮路问题的时间自动机模型谭国真,孙景昊,王宝财,姚卫红2011,22(6):1267-1280 [摘要(9598)] [PDF(7543)627.04 K][HTML()]