1Formal analysis of power separation mechanism based on Biba modelLI Lin, LU Kai, GUO Qiang, CHEN Yonggang, FAN Xiubin1-72Fuzzing technology for private network protocol testingPENG Yong, WANG Ting, XIONG Qi, DAI Zhonghua, YI Shengwei, GAO Haihui8-123A k-anonymous algorithm in location privacy protection based on circular zoningZHAO Zemao, HU Huidong, ZHANG Fan, ZHANG Pin, ZHOU Jianqin13-184SDKEY-based partition data protection of mobile terminalLI Meihong, DU Ye, LIU Jiqiang19-225Security analysis in SPKI/SDSI2.0GENG Xiuhua, HE Yongzhong23-286Supervision system for P2P traffic based on NDIS intermediate driverDU Ye, LI Meihong, LI Jieyuan29-347Research on Chord6 model with topology matching ,inter-domainsGUO Fangfang, WANG Shuaishuai, LIU Yunxia35-408Game-based efficient and reliable routing algorithm in wireless Mesh networksDU Ruiying, CHEN Jing, HE Kun, YAO Shixiong41-479Design and implementation of fine-grained RBAC module based on AOPSHAO Qifeng, HAN Yumin48-5210Mobile node inter-domain Pre-HandOver method based on MP2PGUO Fangfang, LIU Yunxia, WANG Shuaishuai, XING Yangyang53-5711Network intrusion detection based on simultaneous optimization of features selection and parameters of support vector machineFAN Aiwan, SHI Hesheng58-6112Network traffic prediction based on SVM optimized by multi-subpopulation particle swarm optimization algorithmZENG Wei62-6613A scheme of trusted virtualization platform based on PTMJIANG Yichen, HAN Zhen, ZHANG Dawei67-7414A virtual computing resource allocation modal of cloud computing based on evolutionary game theoryXIE Bin, YANG Yang, ZHONG Zewei75-7915SLA-based dynamic trust evaluation for cloud computingZHAO Pingting, HAN Zhen, HE Yongzhong80-8716Evaluation algorithm of digital evidence based on triage methodologyWU Tong, HAN Zhen88-9217Trusted generation method for event logs based on TCMWANG Jian, CHENG Shuaishuai93-9918Design and implementation of a context-based Android mobile terminal trusted running control systemQU Haipeng, AO Yingge, YAN Min, YU Aimin, ZHAO Baohua100-10419Randomization of soft keyboard layout based on cellular automataLI Pengwei, FU Jianming, SHA Letian, DING Shuang105-111,13120Survey on techniques of passive-blind image forensics based on JPEG featuresSUN Guozi, LIU Liying, YANG Yitao112-117 