工具框架相关论文
本文在分析程序安全检查工具框架的基础上,根据安全检查的特殊需求,给出了一种基于ASM(一种字节码分析工具)构造Java安全检查器前......
根据麒错机制来保证监控端监控管理策略库与执麟天机分布式安全存储系统的特点,结合C/S结构系统的特点,利用结构设计技术设计了由......
针对仿真剧情主观校核不理想这一问题，提出了基于高级Petri网的仿真剧情正规校核方法．首先给出仿真剧情的形式化定义，并分析仿真剧情......
