安全规则论文

基于自动机的安全漏洞分析器的设计与实现
论文摘要本文针对一个C/C++程序静态安全检查工具，设计并实现了基于自动机的安全检查机制，该机制可以使工具的使用者在外部自定义安全规则，动态地解析安全规则来检查源代码中存在的安...
嵌入式C代码审核系统设计与实现
论文摘要嵌入式应用软件广泛使用的C语言并不是一种安全编程语言,一个重要原因是其标准中存在大量未定义行为和不安全的用法,而对于未定义行为,不同编译器给出不同的解释,从而产生大量安...
数字内容全生命周期保护及其若干关键技术研究
论文摘要随着计算机技术和网络技术的发展，具有易复制、易修改和易传播特征的数字内容的各种应用蓬勃兴起，但这些特性同时是一把双刃剑，使得数字内容在其生命周期内随时面临被窃取、篡改、...