形式化分析
Trust-Bo
Trusted Computing TEE 可信计算 移动安全 TrustZone TCM TPM
展开
-
Adding Branching to the Strand Space Model 的研读
原创 2013-04-24 14:45:30 · 1627 阅读 · 0 评论 -
State and Progress in Strand Spaces-Proving Fair Exchange 的研读
原创 2013-04-17 22:31:34 · 1332 阅读 · 1 评论 -
AVISPA工具调研
原创 2013-05-29 09:53:04 · 5427 阅读 · 11 评论 -
Specifying and Modelling Secure Channels in Strand Spaces
原创 2013-08-07 15:04:10 · 1258 阅读 · 0 评论 -
Understanding Abstractions of Secure Channels 的研读
原创 2013-09-26 10:11:08 · 1131 阅读 · 0 评论 -
研读:Sound Security Protocol Transformations
POST2013 上的一篇paper研读,作者来自ETH,文章方向是安全协议的转化,供自动化分析工具的高效运行原创 2014-03-25 17:21:48 · 973 阅读 · 0 评论