A pointer logic and certifying compiler
文件格式: PDF大小: 286.21KB页数: 26
Garbage collector verification for proof-carrying code
文件格式: PDF大小: 681.38KB页数: 12
Foundational Typed Assembly Language with Certified Garbage Collection
文件格式: PDF大小: 209.13KB页数: 10
Design of a Certifying Compiler Supporting Proof of Program Safety
文件格式: PDF大小: 143.71KB页数: 10
A Certified Thread Library for Multithreaded User Programs
文件格式: PDF大小: 190.79KB页数: 10
中国科学技术大学：《网络信息安全 NETWORK SECURITY》课程教学资源（PPT课件讲稿）复习提纲
文件格式: PPT大小: 122.5KB页数: 10
1 入侵检测系统概述 2 入侵检测分类 3 入侵检测技术 4 入侵检测产品
文件格式: PPT大小: 1.29MB页数: 76
• 黑客技术 • 信息收集类攻击 • 入侵类攻击 • 欺骗类攻击 • 拒绝服务类攻击
文件格式: PPT大小: 1.09MB页数: 164
中国科学技术大学：《网络信息安全 NETWORK SECURITY》课程教学资源（PPT课件讲稿）网络攻击（例子）
文件格式: DOC大小: 108.5KB页数: 14
• 计算机病毒概述 • 计算机病毒原理 • 计算机病毒编制的关键技术 • 蠕虫 • 木马 • 病毒对抗技术
文件格式: PPT大小: 864KB页数: 184