1000-9825
2011 Issue 3
Network Security Situation Awareness Approach Based on Markov Game Model
ZHANG Yong;TAN Xiao-Bin;CUI Xiao-Lin;XI Hong-Sheng
ZHANG Yong;TAN Xiao-Bin;CUI Xiao-Lin;XI Hong-Sheng
..............page:495-508
Dynamic Evolution of Processes in Process-Aware Information Systems
SONG Wei;MA Xiao-Xing;HU Hao;L(U) Jian
SONG Wei;MA Xiao-Xing;HU Hao;L(U) Jian
..............page:417-438
Distributed Real-Time Information Based Routing Protocol in Vehicular Ad-Hoc Networks
SONG Chao;LIU Ming;GONG Hai-Gang;CHEN Gui-Hai;WANG Xiao-Min
SONG Chao;LIU Ming;GONG Hai-Gang;CHEN Gui-Hai;WANG Xiao-Min
..............page:466-480
Time-Dependent Cryptographic Protocol Logic and Its Formal Semantics
LEI Xin-Feng;LIU Jun;XIAO Jun-Mo
LEI Xin-Feng;LIU Jun;XIAO Jun-Mo
..............page:534-557
Empirical Study on the Characteristics of Complex Networks in Networked Software
MA Yu-Tao;HE Ke-Qing;LI Bing;LIU Jing
MA Yu-Tao;HE Ke-Qing;LI Bing;LIU Jing
..............page:381-407
Mining Invocation Specifications for API Libraries
ZHONG Hao;ZHANG Lu;MEI Hong
ZHONG Hao;ZHANG Lu;MEI Hong
..............page:408-416
Load-Similar Node Distribution for Solving Energy Hole Problem in Wireless Sensor Networks
LI Qiao-Qin;LIU Ming;YANG Mei;CHEN Gui-Hai
LI Qiao-Qin;LIU Ming;YANG Mei;CHEN Gui-Hai
..............page:451-465
Formal Logic for Fair Exchange Protocols
CHEN Ming;WU Kai-Gui;Wu Chang-Ze;XU Jie;WU Zhong-Fu
CHEN Ming;WU Kai-Gui;Wu Chang-Ze;XU Jie;WU Zhong-Fu
..............page:509-521
Obfuscated Malware Detection Based on Boosting Multilevel Features
KONG De-Guang;TAN Xiao-Bin;XI Hong-Sheng;GONG Tao;SHUAI Jian-Mei
KONG De-Guang;TAN Xiao-Bin;XI Hong-Sheng;GONG Tao;SHUAI Jian-Mei
..............page:522-533
Access Driven Cache Timing Attack Against AES
ZHAO Xin-Jie;WANG Tao;GUO Shi-Ze;ZHENG Yuan-Yuan
ZHAO Xin-Jie;WANG Tao;GUO Shi-Ze;ZHENG Yuan-Yuan
..............page:572-591
Complete Axiomatization for Projection Temporal Logic with Finite Time
SHE Xin-Feng;DUAN Zhen-Hua
SHE Xin-Feng;DUAN Zhen-Hua
..............page:366-380
Information Sharing Mechanism for Inter-Domain Routing Cooperative Monitoring
HU Ning;ZHU Pei-Dong;ZOU Peng
HU Ning;ZHU Pei-Dong;ZOU Peng
..............page:481-494
Fast Continuous Weak Hashes in Strings and Its Applications
XU Ze-Ming;HOU Zi-Feng
XU Ze-Ming;HOU Zi-Feng
..............page:353-365
Generation and Extension of Linear Network Coding
PU Bao-Xing;YANG Lu-Ming;WANG Wei-Ping
PU Bao-Xing;YANG Lu-Ming;WANG Wei-Ping
..............page:558-571
Software Reliability Assessment Models Incorporating Software Defect Correlation
XU Gao-Chao;LIU Xin-Zhong;HU Liang;FU Xiao-Dong;DONG Yu-Shuang
XU Gao-Chao;LIU Xin-Zhong;HU Liang;FU Xiao-Dong;DONG Yu-Shuang
..............page:439-450