[转载]Formal Methods for Web 2.0 Security Protocols
文章作者：Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, and James Riely原始出处：[url]http://seclab.cs.rice.edu/w2sp/2007/[/url]
本文章是Web 2.0 Security & Privacy 2007大会议题。
We argue that current formal approaches to cryptographic protocols are at an inappropriate level of abstraction when used to address Web 2.0 Security and Privacy issues.
页:
[1]