Contents

Evaluation Method with Measureable Space-Time Dynamic Properties for Mobile Ad Hoc Networks WANG Wei,GUAN Xiao-Hong,WANG Bei-Zhan and WANG Ya-Ping 2011,22(6):1333-1349 [Abstract(4512)]  [View PDF(8892)561.52 K]

Efficient and Secure Identity-Based Signature Scheme GU Ke,JIA Wei-Jia and JIANG Chun-Ling 2011,22(6):1350-1360 [Abstract(6733)]  [View PDF(7048)585.42 K]

Optimal Actor Nodes Deployment Strategy Under Real-Time Constraint in WSANs CHE Nan,LI Zhi-Jun and JIANG Shou-Xu 2011,22(6):1361-1372 [Abstract(5408)]  [View PDF(5499)749.26 K]

Crawler-Based Measurement of Large Scale P2P IPTV Systems JIANG Zhi-Hong,WANG Hui and FAN Peng-Yi 2011,22(6):1373-1388 [Abstract(5531)]  [View PDF(6328)877.73 K]

Anti-Monitoring Algorithm for Mobile Object in Anisotropic Sensory Networks WANG Lei,JIANG Xin-Hua,WANG Yi-Min and LIN Ya-Ping 2011,22(6):1389-1397 [Abstract(4448)]  [View PDF(5320)757.51 K]

Uncertain-Graph Based Method for Network Vulnerability Analysis LIU Qiang,YIN Jian-Ping,CAI Zhi-Ping and CHENG Jie-Ren 2011,22(6):1398-1412 [Abstract(4924)]  [View PDF(6768)617.70 K]

Review Articles

P2P Traffic Identification LU Gang,ZHANG Hong-Li and YE Lin 2011,22(6):1281-1298 [Abstract(9529)]  [View PDF(13809)840.72 K]

Attribute-Based Encryption Schemes SU Jin-Shu,CAO Dan,WANG Xiao-Feng,SUN Yi-Pin and HU Qiao-Lin 2011,22(6):1299-1315 [Abstract(11425)]  [View PDF(24061)987.90 K]

Research on Certificateless Public Key Cryptography ZHANG Fu-Tai,SUN Yin-Xia,ZHANG Lei,GENG Man-Man and LI Su-Juan 2011,22(6):1316-1332 [Abstract(11335)]  [View PDF(16790)817.61 K]

Special Issue's Articles

形式化方法与工具专刊前言 **王戟 2011,22(6):1121-1122 [Abstract(8523)]  [View PDF(6581)181.15 K]

Strategy Driven Modeling and Analysis of Reliable Embedded Systems FAN Gui-Sheng,YU Hui-Qun,CHEN Li-Qiong and LIU Dong-Mei 2011,22(6):1123-1139 [Abstract(7935)]  [View PDF(7991)568.31 K]

Optimization of Points-to Analysis for Java LI Qian,TANG En-Yi,DAI Xue-Feng,WANG Lin-Zhang and ZHAO Jian-Hua 2011,22(6):1140-1154 [Abstract(8882)]  [View PDF(9120)723.13 K]

Automatic Test Case Generator for Object-Z Specification XU Qing-Guo,MIAO Huai-Kou,CAO Xiao-Xia and HU Xiao-Bo 2011,22(6):1155-1168 [Abstract(9065)]  [View PDF(10461)926.87 K]

Cycle Symmetry Reduction and Its Extension on Three-Valued Models WEI Ou,YUAN Yong,CAI Xin-Ye,HUANG Zhi-Qiu and XU Bing-Feng 2011,22(6):1169-1184 [Abstract(9220)]  [View PDF(7326)769.28 K]

Scenario-Driven Service Behavior Manipulation LIU Xi,YANG Lu,PAN Min-Xue and WANG Lin-Zhang 2011,22(6):1185-1198 [Abstract(8651)]  [View PDF(6922)789.46 K]

Time Petri Net Model with Mixed Semantics PAN Li,DING Zhi-Jun and GUO Guan-Qi 2011,22(6):1199-1209 [Abstract(8279)]  [View PDF(7360)623.71 K]

Conditional Hypergraph Grammars and Its Analysis of Dynamic Evolution of Software Architectures XU Hong-Zhen,ZENG Guo-Sun and CHEN Bo 2011,22(6):1210-1223 [Abstract(8587)]  [View PDF(7948)466.11 K]

Conflicts Detection in Runtime Verification Based on AOP ZHANG Xian,DONG Wei and QI Zhi-Chang 2011,22(6):1224-1235 [Abstract(8758)]  [View PDF(7625)603.94 K]

Schedulability Analysis Tool for Distributed Real-Time Systems Based on Automata Theory GUI Sheng-Lin,LUO Lei,LI Yun,YU Miao and XU Jian-Hua 2011,22(6):1236-1251 [Abstract(8775)]  [View PDF(7458)915.24 K]

Reliability Analysis and Assessment Tool for AADL Model DONG Yun-Wei,WANG Guang-Ren,ZHANG Fan and GAO Lei 2011,22(6):1252-1266 [Abstract(9953)]  [View PDF(11470)882.34 K]

Solving Chinese Postman Problem on Time Varying Network with Timed Automata TAN Guo-Zhen,SUN Jing-Hao,WANG Bao-Cai and YAO Wei-Hong 2011,22(6):1267-1280 [Abstract(9683)]  [View PDF(8170)627.04 K]