欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Virtualization/security
来自开放百科 - 灰狐
（版本间的差异）
小 (→链接) |
小 (→链接) |
||
| 第1行： | 第1行： | ||
[[Virtualization]] 安全相关 | [[Virtualization]] 安全相关 | ||
| + | |||
| + | ==文档== | ||
| + | *[http://docs.huihoo.com/rsaconference/asia-pacific-2013/Hacking-the-Virtualized-World.pdf Hacking the Virtualized World] | ||
==链接== | ==链接== | ||
| 第6行： | 第9行： | ||
{{comment}} | {{comment}} | ||
| − | [[ | + | [[category:virtualization]] |
| − | [[ | + | [[category:security]] |
2015年2月15日 (日) 11:40的最后版本
Virtualization 安全相关
[编辑] 文档
[编辑] 链接
<discussion>characters_max=300</discussion>
分享您的观点
