检索结果-内蒙古大学图书馆

29th Annual ACM Symposium on Applied Computing, SAC 2014

作者： Chen, Bing Zeng, Qingkai Wang, Weiguang State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210023 China Department of Computer Science and Technology Nanjing University Nanjing 210023 China

ISBN: (纸本)9781450324694

Concolic testing is a popular method based on symbolic execution and constraint solving, designed for security testing of applications. Unfortunately, the current effectiveness of concolic testing tools are limited when testing large applications due to the enormous number of control paths and limited budget. In this paper, we introduce selective symbolic execution, path selecting, random and incorrect seed input, three approaches to ease the path explosion and speed up bugs exploration. We also develop Crashmaker, a dynamic symbolic execution tool based on Valgrind and constraints solver STP, implementing our three improvement measures. To check the effectiveness and efficiency of Crashmaker, we make experiments with 7 different real-life programs, and compare with Avalanche. The evaluation results show that Crashmaker can effectively find more bugs in a more efficient way. Copyright 2014 ACM.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

A pilot study of an inspection framework for automated usability guideline reviews of mobile health applications 14

A pilot study of an inspection framework for automated usabi...

引用

5th Conference on Wireless Health, WH 2014

作者： Xu, Jing Ding, Xiang Huang, Ke Chen, Guanling Department of Computer Science University of Massachusetts Lowell United States State Key Laboratory for Novel Software Technology Nanjing University China

ISBN: (纸本)9781450331609

Usability is of significant importance for any interactive software. In the mobile domain, applications face more challenges to deliver good experiences to end users due to the characteristics and usage of mobile devices in ubiquitous computing contexts. The situation may be exacerbated for mobile health applications since the target population or domain may impose even stricter usability requirements. Heuristic Evaluation (HE) or guideline review has proven itself to be an effective approach among many usability evaluation methods. Organizing heuristic evaluation by usability professionals, however, can be costly and time consuming, particularly for frequent prototype updates generated by fast iterations. Manual inspection by human experts also suffers from scalability issues as mobile applications often need to run on a diverse set of hardware platforms. To help find potential usability problems at an early stage and reduce the workload of human usability experts, we propose an inspection framework to conduct automated guideline reviews of mobile health applications. The inspection framework is based on the Health Information Management Systems Society (HIMSS) usability guidelines for mHealth applications. First, we translate the high level descriptions of usability guidelines into operationalized metrics that can be measured by software. Second, we demonstrate the translation is meaningful by providing detailed analysis of suggested metrics and real-world case studies. We hope this framework can be used to enforce a minimum bar for the usability of mobile health applications and further adapted when new products in the field are developed. Copyright © 2014 ACM.

关键词： Inspection

来源：评论

学校读者我要写书评

暂无评论

Automatic XACML requests generation for testing access control policies 26

Automatic XACML requests generation for testing access contr...

引用

26th International Conference on software Engineering and Knowledge Engineering, SEKE 2014

作者： Li, Yongchao Li, You Wang, Linzhang Chen, Guanling State Key Laboratory of Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing China Department of Computer Science University of Massachusetts Lowell 1 University Avenue LowellMA United States

XACML has become increasingly popular for specifying access control policies in mission critical domains to protect sensitive resources. However, manually crafted XACML policies may contain errors which can only be identified with manual policies review. Recent progress in policy testing still requires tedious and inefficient manual efforts to compose access requests. In this paper, we propose an automatic XACML requests generation for testing access control policies by employing symbolic execution techniques. Firstly, the access control policy under test is converted into semantically equivalent C Code Representation (CCR). Secondly, the CCR is symbolically executed to generate test inputs. Finally, the test inputs are used to compose access control requests, which can be automatically evaluated with existing tools. We also implemented a prototype tool called XPTester (Xacml Policy Tester) and conducted extensive experiments upon real-world policies to demonstrate the scalability, efficiency and effectiveness. Copyright © 2014 by Knowledge Systems Institute Graduate School.

关键词： Access control policy Symbolic execution Test generation XACML

来源：评论

学校读者我要写书评

暂无评论

Construction and analysis of website intrusion forensics model

Construction and analysis of website intrusion forensics mod...

引用

2014 International Conference on Manufacturing technology and Electronics Applications, ICMTEA 2014

作者： Chen, Yu Liu, Pei Yu Department of Information Science and Engineering Shandong Normal University China Shandong Provincial Key Laboratory for Distributed Computer Software Novel Technology China

ISBN: (纸本)9783038353287

According to the website security and judicial forensics demands, a new Website Intrusion Forensics Model is proposed foe research. The model can discovery the website intrusion and forensic in time. This paper first describes the overall structure of the model, then according to the various types of intrusion websites. Put forward a comprehensive and detailed design plan about Data acquisition, transmission, preprocessing, storage, analysis, data control and user view module. © (2014) Trans Tech Publications, Switzerland.

关键词： Websites

来源：评论

学校读者我要写书评

暂无评论

Double anomaly detection algorithm based on dendritic cells

Double anomaly detection algorithm based on dendritic cells

引用

2014 International Conference on Materials science and Computational Engineering, ICMSCE 2014

作者： Xu, Lian Cheng Xu, Di Zhou, Guang Gang Hou, Xiu Yan Department of Information Science and Engineering Shandong Normal University China Shandong Provincial Key Laboratory for Distributed Computer Software Novel Technology China

ISBN: (纸本)9783038350996

On the problem of data quantity in anomaly detection, traditional dendritic cell algorithms should be improved by proposing an antigen data preprocessing method which introduced suspected abnormal base. The abnormal data should be judged with high efficiency in the shortest time possible by double anomaly detection. First of all, set of the original data should be preprocessed into individual antigen, and was matched with the suspected abnormal base to conduct the first anomaly detection. Then a double anomaly detection should be conducted by dendritic cell algorithm and the intensity of anomaly be judged according to the dynamic anomaly index. Experiments show that this algorithm produces better effect on both time and accuracy. © (2014) Trans Tech Publications, Switzerland.

关键词： Cells

来源：评论

学校读者我要写书评

暂无评论

Joint channel assignment, stable routing and adaptive power control in mobile cognitive networks

Joint channel assignment, stable routing and adaptive power ...

引用

IEEE Conference on Wireless Communications and Networking

作者： Jin Zhou Feilong Tang Jie Li Wenchao Xu Minyi Guo School of Software Shanghai Jiao Tong University Shanghai China State Key Lab. for Novel Software Technology Nanjing University P. R. China Department of Computer Science & Engineering Shanghai Jiao Tong University Shanghai China Faculty of Engineering Information and Systems University of Tsukuba Japan Department of Communication Engineering East China Normal University Shanghai China

ISBN: (纸本)9781479984077

Most existing routing algorithms assume wireless nodes use maximal transmission power or set up the power at the beginning of the network configuration. These static approaches potentially introduce signal interference that can be mitigated through power control. In this paper, we propose a Joint Channel assignment, stable Routing and adaptive Power control (JCRP) approach that dynamically controls the transmission power to avoid the channel interference for improving the channel utility. Our JCRP allows a node to control its transmission power to a certain value at which it has a longest channel conflict-free time. Besides, we propose a novel routing metric integrated selecting stability (ISS) to measure the quality of links, which considers node mobility and channel interference, together with the dynamical power control. The simulation results demonstrate that our JCRP significantly outperforms the related routing algorithms in terms of network throughput.

关键词： Interference Power control Routing Stability analysis Nickel Channel allocation Measurement

来源：评论

学校读者我要写书评

暂无评论

User guided automation for testing mobile apps 21

User guided automation for testing mobile apps

引用

21st Asia-Pacific software Engineering Conference, APSEC 2014

作者： Li, Xiujiang Jiang, Yanyan Liu, Yepang Xu, Chang Ma, Xiaoxing Lu, Jian State Key Lab for Novel Software Technology Nanjing University Nanjing China Dept. of Computer Science and Technology Nanjing University Nanjing China Dept. of Computer Science and Engineering Hong Kong University of Science and Technology Hong Kong Hong Kong

ISBN: (纸本)9781479974252

Mobile devices are gradually taking over traditional computers' dominance in human lives. With the ever-increasing shipment of mobile apps running on these devices, their quality issues become a severe challenge. Although automated testing techniques are being widely studied, they mostly fall short of handling mobile apps' complex interactions, e.g., a finger swipe or device shaking gesture, leading to inadequate testing. In this paper, we present a novel User Guided Automation (UGA) technique to address testing challenges incurred by such complex interactions. UGA exploits user insights to complement automated testing techniques by recording user-guided app executions, replaying apps to certain stop points, and systematically exploring state space from these stop points. We implemented our work as a prototype UGA tool on Android platform and evaluated it on seven real-world Android apps. Evaluation results show that UGA achieved 1.59-21.78 improvement in terms of method coverage over state-of-The-Art automated techniques in testing mobile apps. © 2014 IEEE.

关键词： Testing

来源：评论

学校读者我要写书评

暂无评论

novel synthesis method for image of materials texture

Novel synthesis method for image of materials texture

引用

2014 International Conference on Manufacturing technology and Electronics Applications, ICMTEA 2014

作者： Peng, Hong-Tao Zhang, De-Gan Song, Xiao-Dong Wang, Xiang Department of Computer CNPC Managers Training Institute Beijing China Tianjin Key Lab of Intelligent Computing and Novel software Technology Tianjin University of Technology China Ministry of Education China

ISBN: (纸本)9783038353287

Most patch-based texture synthesis algorithms using Markov Random Field for composite materials only considers color similarity between the corresponding pixels. The traditional algorithms are lack of adaptability, so the size of patches needs to be defined artificially in advance as the result of blurring of image texture features for composite materials. In order to improve above problems, a new patch-based sampling algorithm for synthesizing textures from an input sample image texture of composite materials is presented in this paper. By using patches of the sample texture as building blocks for image texture synthesis of composite materials, this algorithm makes high-quality texture synthesis for a wide variety of textures ranging regular to stochastic. The method is effective by our experimental results. © (2014) Trans Tech Publications, Switzerland.

关键词： Image texture

来源：评论

学校读者我要写书评

暂无评论

Tournament selection based artificial bee colony algorithm with elitist strategy

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8916卷 387-396页

作者： Zhang, Meng-Dan Zhan, Zhi-Hui Li, Jing-Jing Zhang, Jun Department of Computer Science Sun Yat-sen University 510275 China Key Lab. Machine Intelligence and Advanced Computing Ministry of Education China Engineering Research Center of Supercomputing Engineering Software MOE China Key Lab. Software Technology Education Department of Guangdong Province China School of Computer Science South China Normal University China

Artificial bee colony (ABC) algorithm is a novel heuristic algorithm inspired from the intelligent behavior of honey bee swarm. ABC algorithm has a good performance on solving optimization problems of multivariable functions and has been applied in many fields. However, traditional ABC algorithm chooses solutions on the onlooker stage with roulette wheel selection (RWS) strategy which has several disadvantages. Firstly, RWS is suitable for maximization optimization problem. The fitness value has to be converted when solving minimization optimization problem. This makes RWS difficult to be generally used in real-world applications. Secondly, RWS has no any parameter that can control the selection pressure. Therefore, RWS is not easy to adapt to various optimization problems. This paper proposes a tournament selection based ABC (TSABC) algorithm to avoid these disadvantages of RWS based ABC. Moreover, this paper proposes an elitist strategy that can be applied to traditional ABC, TSABC, and any other ABC variants, so as to avoid the phenomenon that ABC algorithm may abandon the globally best solution in the scout stage. We compare the performance of traditional ABC and TSABC on a set of benchmark functions. The experiment results show that TSABC is more flexible and can be efficiently adapted to solve various optimization problems by controlling the selection pressure. © Springer International Publishing Switzerland 2014.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

Using machine language model for mimimorphic malware detection

Using machine language model for mimimorphic malware detecti...

引用

17th International Conference on Information Security, ISC 2014

作者： Yuan, Pinghai Zeng, Qingkai Liu, Yao State Key Laboratory for Novel Software Technology Nanjing University Nanjing210023 China Department of Computer Science and Technology Nanjing University Nanjing210023 China

ISBN: (纸本)9783319132563

Binary obfuscation is widely employed by malware distributors against malware analysis and detection. Mimimorphism is a novel technique arising from this arms race and technically opens a new line of obfuscation. It aims to defeat feature-based detection by generating malicious codes sharing features of benign programs. In order to forecast whether mimimorphic malware will burst out in the future, we evaluate current mimimorphic engines by measuring their mimicry outputs, as well as propose an approach to detection. In practice, we build a machine language model by doing a statistical study on code patterns of normal binary and use this model as a foundation for applying machine learning to detect mimimorphic malware. Experimental results show current mimimorphic engines are not powerful enough and mimicry executables can be effectively detected by our approach. © Springer International Publishing Switzerland 2014.

关键词： Malware

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：