首页> 外文学位 >Software model-checking: Benchmarking and techniques for buffer overflow analysis

【24h】

Software model-checking: Benchmarking and techniques for buffer overflow analysis

机译：软件模型检查：缓冲区溢出分析的基准测试和技术

获取原文

获取原文并翻译 | 示例

页面导航

著录项
相似文献
相关主题

著录项

作者
Ku, Kelvin;
展开▼
作者单位

University of Toronto (Canada);

展开▼
授予单位 University of Toronto (Canada);
学科
学位 M.Sc.
年度 2008
页码 103 p.
总页数 103
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Design And Development Of Suitable Software Engineering Techniques To Detect And Manage Buffer-Overflows In Computer Systems [J] . Mohd Ayaz Uddin, Mirza Younus Ali Baig, Prof.Dr.G.Manoj Someswar American Journal of Engineering Research . 2013,第12期

机译：设计和开发合适的软件工程技术，以检测和管理计算机系统中的缓冲区溢出
2. A Technique Against Buffer Overflow Attacks for Embedded Systems via., Hardware/Software [J] . Wei Guoheng, Li Zheng Information Technology Journal . 2014,第7期

机译：通过硬件/软件对嵌入式系统进行缓冲区溢出攻击的技术
3. A Technique Against Buffer Overflow Attacks for Embedded Systems via., Hardware/Software [J] . Wei Guoheng, Li Zheng Information Technology Journal . 2014,第7期

机译：通过硬件/软件对嵌入式系统进行缓冲区溢出攻击的技术
4. A buffer overflow benchmark for software model checkers [C] . Kelvin Ku, Thomas E. Hart, Marsha Chechik, IEEE/ACM international conference on Automated software engineering . 2007

机译：软件模型检查器的缓冲区溢出基准
5. Buffer overflow vulnerability diagnosis for commodity software. [D] . Zheng, Jiang. 2008

机译：商品软件的缓冲区溢出漏洞诊断。
6. Probabilistic Analysis of a Buffer Overflow Duration in Data Transmission in Wireless Sensor Networks [O] . Wojciech M. Kempa 2020

机译：无线传感器网络中数据传输中缓冲器溢出持续时间的概率分析
7. Auditing buffer overflow vulnerabilities using program analysis and data mining techniques [O] . Madhavi Padmanabhuni Bindu -1

机译：使用程序分析和数据挖掘技术审计缓冲区溢出漏洞

Software model-checking: Benchmarking and techniques for buffer overflow analysis

著录项

相似文献

相关主题

期刊订阅