SVR-Miner: Mining Security Validation Rules and Detecting Violations in Large Software

摘要：

For various reasons, many of the security programming rules applicable to specific software have not been recorded in official documents, and hence can hardly be employed by static analysis tools for detection. In this paper, we propose a new approach, named SVRMiner (Security Validation Rules Miner), which uses

关键词： static analysis data mining automated validation rules extraction automated violation de-tection

作者: Liang Bin Xie Subin Shi Wenchang Liang Zhaohui Chen Hong

作者单位: School of Information, Renmin University of China, Beijing 100872, P. R. China School of Information, Renmin University of China, Beijing 100872, P. R. China China Information Tec

会议类型: 国际会议

会议名称: 2011年中国计算机学会服务计算学术会议(CCF NCSC2011)

会议地点: 济南

会议语种:英文

页码: 84-98

在线出版日期: 2011-08-18（万方平台首次上网日期，不代表论文的发表时间）