![](https://img-blog.csdnimg.cn/20201014180756928.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
形式化分析
Trust-Bo
Trusted Computing TEE 可信计算 移动安全 TrustZone TCM TPM
展开
-
Adding Branching to the Strand Space Model 的研读
原创 2013-04-24 14:45:30 · 1610 阅读 · 0 评论 -
State and Progress in Strand Spaces-Proving Fair Exchange 的研读
原创 2013-04-17 22:31:34 · 1314 阅读 · 1 评论 -
AVISPA工具调研
原创 2013-05-29 09:53:04 · 5390 阅读 · 11 评论 -
Specifying and Modelling Secure Channels in Strand Spaces
原创 2013-08-07 15:04:10 · 1237 阅读 · 0 评论 -
Understanding Abstractions of Secure Channels 的研读
原创 2013-09-26 10:11:08 · 1116 阅读 · 0 评论 -
研读:Sound Security Protocol Transformations
POST2013 上的一篇paper研读,作者来自ETH,文章方向是安全协议的转化,供自动化分析工具的高效运行原创 2014-03-25 17:21:48 · 957 阅读 · 0 评论