排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
介绍操作系统验证理论、语言和工具等技术基础,阐述验证路径、精化关系验证和大规模验证等新的验证方法和理念.比较分析多个操作系统验证项目研究内容、验证方法、主要贡献以及最新进展.分析操作系统验证过程中存在的问题,认为验证成本高、验证工具局限性是制约操作系统形式化验证的关键因素,随着验证工具、框架和定理库的完善,以及深度学习... 相似文献
2.
随着web应用技术越来越复杂,SQL注入攻击尤其是SQL盲注已经成为当前最流行的数据库攻击手段之一。文章分析了SQL盲注的原理和攻击过程,重点提出一种双重混合防御模式,即在web服务器层使用输入验证全面减少web站点的注入可能,随后在数据库层部署安全网关实时过滤注入攻击语句。实验表明,该混合防御模块能对web站点的注入漏洞进行有效防护,提升了web应用安全性能。 相似文献
1