首页 > 最新文献

2012 International Conference on Systems and Informatics (ICSAI2012)最新文献

英文 中文
A novel approach for depth extraction from single 2D image 一种新的二维图像深度提取方法
Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223613
Ranran Feng, Jiahuang Ji
Many methods on extracting 3D information from 2D images have been studied since 1990s, especially the depth information extraction. A novel approach for depth extraction is proposed and implemented in this paper. About 30 images are taken especially for this case study and experiments are conducted on the Stanford Range Image Data. Results show that this approach is generally suitable for most of the images; and performs even better on images with darker background.
20世纪90年代以来,人们研究了许多从二维图像中提取三维信息的方法,尤其是深度信息的提取。提出并实现了一种新的深度提取方法。本案例选取了近30幅图像,并在斯坦福靶场图像数据上进行了实验。结果表明,该方法一般适用于大多数图像;并且在背景较暗的图像上表现更好。
{"title":"A novel approach for depth extraction from single 2D image","authors":"Ranran Feng, Jiahuang Ji","doi":"10.1109/ICSAI.2012.6223613","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223613","url":null,"abstract":"Many methods on extracting 3D information from 2D images have been studied since 1990s, especially the depth information extraction. A novel approach for depth extraction is proposed and implemented in this paper. About 30 images are taken especially for this case study and experiments are conducted on the Stanford Range Image Data. Results show that this approach is generally suitable for most of the images; and performs even better on images with darker background.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128145153","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Study on the elimination of duplicated multimedia webpages 消除重复多媒体网页的研究
Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223520
Xiaojuan Yang
There are many duplicated web pages in the multimedia web resources, and elimination of the duplicates can remove the duplicated pages, reduce storage costs and improve search engine performance. Based on analysis of the classic algorithm of eliminating the duplicates, his article raises an improved algorithm for judging web page text repetition. The new algorithm runs the elimination process on the basis of webpage contents which are used as the vector characteristics in the comparison with the webpages' approximation, and analyzes how to capture the web page's theme. Hence, we can make a multidimensional improvement in the elimination of the duplicates of multimedia webpages.
多媒体web资源中存在着许多重复的网页,消除重复可以消除重复的网页,降低存储成本,提高搜索引擎的性能。本文在分析经典的消除重复算法的基础上,提出了一种改进的网页文本重复判断算法。该算法以网页内容作为矢量特征,与网页近似进行对比,进行消去处理,并分析了如何捕捉网页主题。因此,我们可以在消除多媒体网页的重复方面进行多维度的改进。
{"title":"Study on the elimination of duplicated multimedia webpages","authors":"Xiaojuan Yang","doi":"10.1109/ICSAI.2012.6223520","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223520","url":null,"abstract":"There are many duplicated web pages in the multimedia web resources, and elimination of the duplicates can remove the duplicated pages, reduce storage costs and improve search engine performance. Based on analysis of the classic algorithm of eliminating the duplicates, his article raises an improved algorithm for judging web page text repetition. The new algorithm runs the elimination process on the basis of webpage contents which are used as the vector characteristics in the comparison with the webpages' approximation, and analyzes how to capture the web page's theme. Hence, we can make a multidimensional improvement in the elimination of the duplicates of multimedia webpages.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133760537","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A new chaos-based image encryption scheme using quadratic residue 一种新的基于混沌的二次残差图像加密方案
Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223394
Hegui Zhu, Xiaojun Lu, Qingsong Tang, Xiangde Zhang, Cheng Zhao
This paper provides a novel chaos-based image encryption algorithm with quadratic residue. The proposed scheme introduced a significant diffusion effect through a two-stage diffusion algorithm. In first-diffusion stage, we turn each pixel of the original image into 8 bits binary sequence, and apply Chebyshev map to shuffle the 8 bits binary sequence. In second-diffusion stage, we apply quadratic residue to encrypt the new binary sequence. Therefore, the proposed scheme transforms the statistical characteristics of plain image information drastically and randomly. Finally, Various types of security analyses demonstrate that the security of the proposed scheme is competitive with that of permutation-diffusion type image cipher and is very proper for realtime secure image communication applications.
提出了一种新的基于混沌的二次残差图像加密算法。该方案通过两阶段扩散算法引入了显著的扩散效应。在第一扩散阶段,我们将原始图像的每个像素转换成8位二进制序列,并应用切比雪夫映射对8位二进制序列进行洗刷。在二次扩散阶段,我们利用二次残数对新的二值序列进行加密。因此,所提出的方案对平面图像信息的统计特征进行了大幅度的、随机的变换。最后,各种类型的安全性分析表明,该方案的安全性可与排列扩散型图像密码相媲美,非常适合于实时安全图像通信应用。
{"title":"A new chaos-based image encryption scheme using quadratic residue","authors":"Hegui Zhu, Xiaojun Lu, Qingsong Tang, Xiangde Zhang, Cheng Zhao","doi":"10.1109/ICSAI.2012.6223394","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223394","url":null,"abstract":"This paper provides a novel chaos-based image encryption algorithm with quadratic residue. The proposed scheme introduced a significant diffusion effect through a two-stage diffusion algorithm. In first-diffusion stage, we turn each pixel of the original image into 8 bits binary sequence, and apply Chebyshev map to shuffle the 8 bits binary sequence. In second-diffusion stage, we apply quadratic residue to encrypt the new binary sequence. Therefore, the proposed scheme transforms the statistical characteristics of plain image information drastically and randomly. Finally, Various types of security analyses demonstrate that the security of the proposed scheme is competitive with that of permutation-diffusion type image cipher and is very proper for realtime secure image communication applications.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131847075","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Study on the application of information technology in College English teaching 信息技术在大学英语教学中的应用研究
Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223259
Yuee Wen
Information technology is of great importance in College English teaching for non-English majors in China. This article talks about the theoretical basis of College English teaching based on information technology and the practice, and points out its future direction.
信息技术在中国非英语专业的大学英语教学中占有重要地位。本文论述了基于信息技术的大学英语教学的理论基础和实践,并指出了其未来的发展方向。
{"title":"Study on the application of information technology in College English teaching","authors":"Yuee Wen","doi":"10.1109/ICSAI.2012.6223259","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223259","url":null,"abstract":"Information technology is of great importance in College English teaching for non-English majors in China. This article talks about the theoretical basis of College English teaching based on information technology and the practice, and points out its future direction.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134601598","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
CDBIA: A dynamic community detection method based on incremental analysis CDBIA:基于增量分析的动态群落检测方法
Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223494
Jingyong Li, Lan Huang, Tian Bai, Zhe Wang, Hongsheng Chen
Most existing community detection methods ignored the dynamic nature, a key property of social networks and these methods often lead to unreasonable divisions when faced with dynamic environments. Although there have been several dynamic community detection algorithms, low accuracy and low performing are still two challenging problems to be solved. In order to solve above problems, we proposed a new algorithm based on incremental analysis to mine communities in dynamic social networks. Extensive experimental results demonstrate the performance of our propose algorithm.
现有的社区检测方法大多忽略了社会网络的动态特性,在面对动态环境时往往导致不合理的划分。虽然已有多种动态社区检测算法,但准确率低和性能差仍然是亟待解决的两个难题。为了解决上述问题,本文提出了一种基于增量分析的动态社交网络社区挖掘算法。大量的实验结果证明了我们提出的算法的性能。
{"title":"CDBIA: A dynamic community detection method based on incremental analysis","authors":"Jingyong Li, Lan Huang, Tian Bai, Zhe Wang, Hongsheng Chen","doi":"10.1109/ICSAI.2012.6223494","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223494","url":null,"abstract":"Most existing community detection methods ignored the dynamic nature, a key property of social networks and these methods often lead to unreasonable divisions when faced with dynamic environments. Although there have been several dynamic community detection algorithms, low accuracy and low performing are still two challenging problems to be solved. In order to solve above problems, we proposed a new algorithm based on incremental analysis to mine communities in dynamic social networks. Extensive experimental results demonstrate the performance of our propose algorithm.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"287 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133172119","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 23
High-speed configurable signal generator for access network system test 用于接入网系统测试的高速可配置信号发生器
Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223462
Wang Zhang, Xiaohui Duan, H. Kou, Y. Gao, Lixia Deng, Daoxian Wang
High performance network over coax (HINOC) is a recently proposed technology which achieves high-performance wide-band duplex data transmission using the vacant frequency resource beyond the existing broadcast TV channel. As HINOC is a novel technology, there exists no testing equipment designed for it yet. In this paper, we designed a high-speed configurable signal generator for HINOC system test. The system of the signal generator is implemented based on NI PXI platform. The HINOC algorithm used to generate HINOC physical layer signal is realized by software, which is convenient for maintenance and upgrade. Transmission, DA conversion and RF upconversion of the signal are performed by hardware (FPGA, NI PXI modules). The signal generator is tested using a HINOC signal analyzer. The test demonstrated that the signal generator meets the HINOC test specification and can provide standard HINOC physical layer signal.
高性能同轴网络(HINOC)是近年来提出的一种利用现有广播电视频道之外的空闲频率资源实现高性能宽带双工数据传输的技术。由于HINOC是一项新技术,目前还没有专门为其设计的测试设备。本文设计了一种用于HINOC系统测试的高速可配置信号发生器。该信号发生器系统是基于NI PXI平台实现的。用于生成HINOC物理层信号的HINOC算法由软件实现,便于维护和升级。信号的传输、数据转换和射频上变频由硬件(FPGA、NI PXI模块)完成。使用HINOC信号分析仪对信号发生器进行了测试。测试表明,该信号发生器满足HINOC测试规范,能够提供标准的HINOC物理层信号。
{"title":"High-speed configurable signal generator for access network system test","authors":"Wang Zhang, Xiaohui Duan, H. Kou, Y. Gao, Lixia Deng, Daoxian Wang","doi":"10.1109/ICSAI.2012.6223462","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223462","url":null,"abstract":"High performance network over coax (HINOC) is a recently proposed technology which achieves high-performance wide-band duplex data transmission using the vacant frequency resource beyond the existing broadcast TV channel. As HINOC is a novel technology, there exists no testing equipment designed for it yet. In this paper, we designed a high-speed configurable signal generator for HINOC system test. The system of the signal generator is implemented based on NI PXI platform. The HINOC algorithm used to generate HINOC physical layer signal is realized by software, which is convenient for maintenance and upgrade. Transmission, DA conversion and RF upconversion of the signal are performed by hardware (FPGA, NI PXI modules). The signal generator is tested using a HINOC signal analyzer. The test demonstrated that the signal generator meets the HINOC test specification and can provide standard HINOC physical layer signal.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114837017","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Features of northwest passage variation of sea ice concentration from 2002 to 2010 and analysis of possible reasons 2002 - 2010年西北航道海冰浓度变化特征及可能原因分析
Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223538
Sijia Zou, L. Yi
In recent years, rapid warming of Arctic has made the Northwest Passage navigation possible. In this paper, we roughly studied features of variation of sea ice's concentration during the summer season, June, August and September, using AMSR-E sea ice concentration product with the resolution of 6.25 kilometers from the year 2002 to 2010. By studying the variation, we got deeper understanding of the main features of sea ice seasonal and inter-annual variation and distribution. What's more, we looked into the relevance between sea surface temperature(SST), sea level pressure(SLP) and the reducing amount of annual sea ice concentration (May minus September) based on the NSST daily average data from NASA MODISA and SLP monthly average data from NCEP.
近年来,北极的快速变暖使西北航道的航行成为可能。本文利用2002 - 2010年分辨率为6.25 km的AMSR-E海冰浓度产品,粗略研究了夏季和6、8、9月海冰浓度的变化特征。通过对海冰年际变化的研究,加深了对海冰季节和年际变化和分布的主要特征的认识。利用NASA MODISA卫星的NSST日平均值和NCEP卫星的SLP月平均值,分析了海表温度(SST)、海平面压力(SLP)与年海冰浓度(5 - 9月)减少量的相关性。
{"title":"Features of northwest passage variation of sea ice concentration from 2002 to 2010 and analysis of possible reasons","authors":"Sijia Zou, L. Yi","doi":"10.1109/ICSAI.2012.6223538","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223538","url":null,"abstract":"In recent years, rapid warming of Arctic has made the Northwest Passage navigation possible. In this paper, we roughly studied features of variation of sea ice's concentration during the summer season, June, August and September, using AMSR-E sea ice concentration product with the resolution of 6.25 kilometers from the year 2002 to 2010. By studying the variation, we got deeper understanding of the main features of sea ice seasonal and inter-annual variation and distribution. What's more, we looked into the relevance between sea surface temperature(SST), sea level pressure(SLP) and the reducing amount of annual sea ice concentration (May minus September) based on the NSST daily average data from NASA MODISA and SLP monthly average data from NCEP.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116808039","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A method of type recognition using probabilistic constraint support vector machine 一种基于概率约束支持向量机的类型识别方法
Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223393
Man Jie
A new support vector machine classifier for recognition of vehicle type which has been captured from traffic scene images. A new support vector machine classifier is presented with probabilistic constrains which presence probability of samples in each class is determined based on a distribution function. Noise is caused to found incorrect support vectors thereupon margin can not be maximized. In the proposed method, constraints boundaries and constraints occurrence have probability density functions which it helps for achieving maximum margin.
一种新的支持向量机分类器用于从交通场景图像中提取的车辆类型识别。提出了一种基于概率约束的支持向量机分类器,通过分布函数确定每一类样本的存在概率。噪声会导致发现不正确的支持向量,从而使余量不能最大化。在该方法中,约束边界和约束发生具有概率密度函数,有助于实现最大裕度。
{"title":"A method of type recognition using probabilistic constraint support vector machine","authors":"Man Jie","doi":"10.1109/ICSAI.2012.6223393","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223393","url":null,"abstract":"A new support vector machine classifier for recognition of vehicle type which has been captured from traffic scene images. A new support vector machine classifier is presented with probabilistic constrains which presence probability of samples in each class is determined based on a distribution function. Noise is caused to found incorrect support vectors thereupon margin can not be maximized. In the proposed method, constraints boundaries and constraints occurrence have probability density functions which it helps for achieving maximum margin.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115495139","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Monotonic plan generation assistance: Challenges, open problems & solutions 单调计划生成协助:挑战,开放问题和解决方案
Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223491
O. Arnold, K. Jantke
Plan generation is essentially a process of reasoning about the future. In complex application conditions, humans need computerized support by planning assistant systems that manage the complexity of data and the dynamics of targeted processes. In practice, information on real processes and human behavior is typically incomplete, maybe vague, and sometimes incorrect. Consequently, realistic planning is more inductive than deductive and the plans generated by an assistant system are hypothetical. In monotonic approaches to plan generation, intermediate plans are increasingly better fitting the application needs over time. Monotonicity is some logical property of the planning process. It depends on a variety of conditions which have to be balanced. Solutions for monotonic plan generation are elaborated in detail.
计划生成本质上是一个对未来进行推理的过程。在复杂的应用条件下,人类需要计算机化的支持,通过规划辅助系统来管理数据的复杂性和目标过程的动态。在实践中,关于实际过程和人类行为的信息通常是不完整的,可能是模糊的,有时是不正确的。因此,现实规划更多的是归纳而不是演绎,而辅助系统生成的计划是假设的。在计划生成的单调方法中,随着时间的推移,中间计划越来越适合应用程序的需要。单调性是规划过程的某种逻辑性质。它取决于各种需要平衡的条件。详细阐述了单调平面生成的解法。
{"title":"Monotonic plan generation assistance: Challenges, open problems & solutions","authors":"O. Arnold, K. Jantke","doi":"10.1109/ICSAI.2012.6223491","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223491","url":null,"abstract":"Plan generation is essentially a process of reasoning about the future. In complex application conditions, humans need computerized support by planning assistant systems that manage the complexity of data and the dynamics of targeted processes. In practice, information on real processes and human behavior is typically incomplete, maybe vague, and sometimes incorrect. Consequently, realistic planning is more inductive than deductive and the plans generated by an assistant system are hypothetical. In monotonic approaches to plan generation, intermediate plans are increasingly better fitting the application needs over time. Monotonicity is some logical property of the planning process. It depends on a variety of conditions which have to be balanced. Solutions for monotonic plan generation are elaborated in detail.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123117397","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Trigger condition based test generation for finding security bugs 基于触发条件的测试生成,用于查找安全漏洞
Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223228
Jie Liu, Qiang Wei, Qingxian Wang, Tao Guo
Software vulnerabilities become methods by which an attacker can take control of the victim's system, and those critical bugs cluster in dangerous spot codes. However, fuzz testing provides low code coverage and serious security bugs may be missed potentially, while symbolic execution based testing encounters path explosion and bug trigger problem. To deal with the security issue above, we highlight two kinds of dangerous spot codes which mostly likely to trigger buffer overflows at runtime: dangerous functions and instructions. We define the conditions on which dangerous spot code can trigger a bug: input-dependent operand, feasible execution path, and trigger conditions. Then we give algorithm for trigger point directed search in order to find the shortest feasible path in CFG, and formalize the trigger conditions for integer overflow, string buffer overflow, array out of bound and division by zero bugs. At last we evaluate the implementation in four benchmark programs in Ubuntu Linux, showing that our method improves the coverage rate of trigger point and trigger rate of overflows efficiently.
软件漏洞成为攻击者控制受害者系统的方法,而这些关键漏洞聚集在危险的点代码中。然而,模糊测试提供了较低的代码覆盖率,并且可能会遗漏严重的安全漏洞,而基于符号执行的测试则会遇到路径爆炸和漏洞触发问题。为了处理上面的安全问题,我们强调了两种最可能在运行时触发缓冲区溢出的危险点代码:危险函数和指令。我们定义了危险的点代码触发错误的条件:依赖输入的操作数、可行的执行路径和触发条件。然后给出了在CFG中寻找最短可行路径的触发点定向搜索算法,并形式化了整数溢出、字符串缓冲区溢出、数组越界和除零错误的触发条件。最后,我们在Ubuntu Linux的四个基准程序中对实现进行了评估,结果表明我们的方法有效地提高了触发点覆盖率和溢出触发率。
{"title":"Trigger condition based test generation for finding security bugs","authors":"Jie Liu, Qiang Wei, Qingxian Wang, Tao Guo","doi":"10.1109/ICSAI.2012.6223228","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223228","url":null,"abstract":"Software vulnerabilities become methods by which an attacker can take control of the victim's system, and those critical bugs cluster in dangerous spot codes. However, fuzz testing provides low code coverage and serious security bugs may be missed potentially, while symbolic execution based testing encounters path explosion and bug trigger problem. To deal with the security issue above, we highlight two kinds of dangerous spot codes which mostly likely to trigger buffer overflows at runtime: dangerous functions and instructions. We define the conditions on which dangerous spot code can trigger a bug: input-dependent operand, feasible execution path, and trigger conditions. Then we give algorithm for trigger point directed search in order to find the shortest feasible path in CFG, and formalize the trigger conditions for integer overflow, string buffer overflow, array out of bound and division by zero bugs. At last we evaluate the implementation in four benchmark programs in Ubuntu Linux, showing that our method improves the coverage rate of trigger point and trigger rate of overflows efficiently.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121753333","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
期刊
2012 International Conference on Systems and Informatics (ICSAI2012)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1