作者: 单纯,胡康文,薛静锋,胡昌振,赵小林 (北京理工大学软件学院软件安全工程技术北京市重点实验室)
出处: 清华大学学报(自然科学版) 2017 第57卷 第6期 P580-585
关键词: 无证书;群组密钥协商协议;无线性对
摘要: 针对现有无证书群组密钥协商协议无法在敌手具有替换用户公钥或获知私钥生成中心(key generation center,KGC)主秘密密钥2类攻击能力下满足安全性,该文提出一种显式认证的无证书群组密钥协商协议。该协议通过在第二轮中添加签名消息、签名与群组用户身份集合、第一轮所有广播消息、第二轮用户发 ...
作者: Rui Ma,Shuaimin Ren,Ke Ma,Changzhen Hu,Jingfeng Xue (the Beijing Key Laboratory of Software Security Engineering Technology,School of Software,Beijing Institute of Technology;the Internet Center,Institute of Communication Standard Research,China Academy of Information and Communication Technology)
出处: Tsinghua Science and Technology 2017 第22卷 第5期 P458-468
关键词: 测试用例生成;网络协议;状态转换;模糊测试;扩展有限状态机;测试序列;有效算法;变异操作
摘要: Network protocols are divided into stateless and stateful.Stateful network protocols have complex communication interactions and state transitions.How ...
作者: Zheng, Y.;Lv, K.;Hu, C. (School of Software, Beijing Institute of Technology, Beijing, China)
出处: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2017 Vol.10394 P349-358
关键词: Attack graph;Network security;Risk judgement;Vulnerability
摘要: With the rapid development of network, network security issues become increasingly important. It is a tough challenge to evaluate the network security ...
作者: Dong, Y.;Liu, Z.;Yan, Y.;Wang, Y.;Peng, T.;Zhang, J. (School of Software, Beijing Institute of Technology, Beijing, China)
出处: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2017 Vol.10394 P386-398
关键词: Analyzing malware;Association analysis;Classification;Clustering;Machine learning
摘要: The Internet has become an indispensable part of people’s work and life. It provides favorable communication conditions for malwares. Therefore, malwa ...
作者: XiaoLin Zhao1;Quanbao Chen1;Chun Shan1;Ting Wang1;Yiman Zhang1; (School of Software, Beijing Institute of Technology, Beijing 100081, China;School of Software, Beijing Institute of Technology, Beijing 100081, China;School of Software, Beijing Institute of Technology, Beijing 100081, China;School of Software, Beijing Institute of Technology, Beijing 100081, China;School of Software, Beijing Institute of Technology, Beijing 100081, China)
出处: Journal of Physics: Conference Series 2017 Vol.887 Conference 1 P012071
摘要: It is extremely important for the study of software behavior modeling for software security research. This article determines whether the security of ...
作者: Ma, Rui1;Ren, Shuaimin1;Ma, Ke2;Hu, Changzheng Zhen1;Xue, Jingfeng1; (1Beijing Key Laboratory of Software Security Engineering Technology, School of Software, Beijing Institute of Technology, Beijing, 100081, China;2Internet Center, Institute of Communication Standard Research, China Academy of Information and Communication Technology, Beijing, 100191, China)
出处: Beijing Ligong Daxue Xuebao/Transaction of Beijing Institute of Technology 2017 Vol.37 No.12 P1265-1270
摘要: Test automation is an important factor for the quality of Android applications. In order to improve the efficiency of automation, test case generation ...
作者: Feng, Jing1;Zhang, Fuquan2; (1Library Xinjiang Normal University, Urumqi, 830054, China;2School of Software, Beijing Institute of Technology, Beijing, 100081, China)
出处: Shenyang Gongye Daxue Xuebao/Journal of Shenyang University of Technology 2017 Vol.39 No.2 P188-192
摘要: Aiming at the problem that such detects as low mining efficiency and large error always exist when the traditional mining model is used to mine the in ...
作者: Cui, Lijun1;Huang, Tianyu1;Feng, Feng2;Zhang, Jie3;Yang, Kai4;Liu, Dong5; (1School of Software, Beijing Institute of Technology, Beijing, 100081, China;2Equipment Department of China PLA Air Force, Beijing, 100854, China;3AVIC Chengdu Aircraft Design & Research Institute, Chengdu, 610091, China;4Science and Technology on Special System Simulation Laboratory, Beijing, 100854, China;5China Aerospace Science & Industry Corp, Beijing, 100048, China)
出处: Xitong Fangzhen Xuebao / Journal of System Simulation 2017 Vol.29 No.10 P2261-2267
摘要: A method was proposed to reconstruct high-dimensional full-body motion sequences from low-dimensional control data collected by sparse inertial sensor ...
作者: Zhao, Xiaolin1;Xue, Jingfeng1;Zhang, Yiman1;Zhang, Qi1; (1School of Software, Beijing Institute of Technology, Beijing, 100081, China)
出处: Frontiers in Artificial Intelligence and Applications 2017 Vol.299 P494-510
关键词: Collaborative;Complex network;Network security;Software metrics
摘要: The traditional and mainstream method to study the software system with the complex network is building a collaborative network of the software system ...
作者: Yang, Shucheng;Yang, Yichuan;Miao, Xinyu (School of Software, Beijing Institute of Technology, Beijing;100081, China)
出处: ACM International Conference Proceeding Series 2017 P38-43
摘要: Restaurant recommended software has been a lot, but for many people have not yet dinner, more than dinner to consider not only everyone\'s preferences ...