安全语言PointerC的设计及形式证明 Design and proof of a safe programming language Pointer
文件格式: PDF大小: 435.92KB页数: 9
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