• 已选条件：
 全选  【符合条件的数据共：4条】

1 Formal Protocol Verification Applied 07421 Executive Summary [会议论文]

作者:L. Chen S. Kremer M. D. Ryan

会议时间:

预览  |  原文链接  |  全文  [ 浏览：2 下载：5  ]    

2 Complete Characterization of Security Protocols by Pattern Refinement? [会议论文]

作者:

会议时间:

预览  |  原文链接  |  全文  [ 浏览：2 下载：6  ]    

3 ZeroKnowledge in the Applied Picalculus and Automated Verification of the Direct Anonymous Attestation Protocol [会议论文]

作者:Michael Backes, Matteo Maffei, Dominique Unruh

会议时间:

预览  |  原文链接  |  全文  [ 浏览：21 下载：7  ]    

4 Formal Protocol Verication Applied [会议论文]

作者:Dagstuhl Seminar

会议时间:

预览  |  原文链接  |  全文  [ 浏览：3 下载：6  ]