..............page:1937-1942
..............page:1943-1948
..............page:1949-1955
..............page:1956-1960
..............page:1961-1966
..............page:1967-1970
Searching Personal Files Based on Synonym Relationship
ZHAO Xi-yan;LI Yu-kun;LIU Jing-yu;XIAO Ying-yuan;FENG Mei-ling;Tianjin University of Technology;Key Laboratory of Intelligence Computing and Novel Software Technology;Key Laboratory of Computer Vision and System;Ministry of Education;
..............page:1971-1976
..............page:1977-1982
..............page:1983-1988
..............page:1989-1993
..............page:1994-1998
..............page:1999-2003
..............page:2004-2008
..............page:2009-2013
..............page:2014-2018
..............page:2019-2023
..............page:2024-2028
..............page:2029-2033
..............page:2034-2038
..............page:2039-2043
..............page:2044-2047
..............page:2048-2051
..............page:2052-2057
..............page:2058-2061
..............page:2062-2067
Algebra-based Behavior Detection of Trojan Horse
HAN Lan-sheng;PENG Ai-hua;LIAO Wen-yuan;FU Cai;Lab of Information Security;Department of Computer Science and Technology;Huazhong University of Science and Technology;Department of Mathematics and Statistics;University of Calgary;
..............page:2068-2072
..............page:2073-2077
..............page:2078-2082
..............page:2083-2087
..............page:2088-2093
A Group Signature Scheme Based on Lattice
WANG Li;YANG Xiao-yuan;WU Li-qiang;School or Key Laboratory of Network & Information Security under the Chinese Armed Police Force;Electronic Department;Engineering College of the Armed Police Force;The Institute of Information Security;Engineering College of Chinese Armied Police Force;
..............page:2094-2098
..............page:2099-2103
..............page:2104-2109
..............page:2110-2115
..............page:2116-2121
Exact Algorithms for Odd Cycle Transversals Problem
ZHI Zhi-bing;NING Ai-bing;XIONG Xiao-hua;WANG Yong-fei;CHEN Ji-zhen;YANG Xiao-fang;School of Management;University of Shanghai for Science and Technology;College of Computer and Information;Shanghai Second Polytechnic University;
..............page:2122-2125
..............page:2126-2130
..............page:2131-2135
..............page:2136-2141
..............page:2142-2146
..............page:2147-2150
..............page:2151-2155
..............page:2156-2161
..............page:2162-2166
..............page:2167-2171
..............page:2172-2176
Formalization of Laplace Transform Calculus in HOL4
ZHAO Gang;ZHAO Chun-na;GUAN Yong;LV Xing-li;LI Xiao-juan;SHI Zhi-ping;WANG Rui;YE Shi-wei;Beijing Key Laboratory of Electronic System Reliability Technology;Capital Normal University;College of Information Science and Engineering;Graduate University of Chinese Academy of Sciences;
..............page:2177-2181
..............page:2182-2186
..............page:2187-2192