发新话题
打印

[转载]Formal Methods for Web 2.0 Security Protocols

[转载]Formal Methods for Web 2.0 Security Protocols

文章作者:Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, and James Riely
原始出处:http://seclab.cs.rice.edu/w2sp/2007/

本文章是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.

附件

paper-179-z_1398.rar (76 KB)

2007-6-10 04:30, 下载次数: 123

曾几何时,有人对我说:装B遭雷劈。我说:去你妈的。于是,这个人又对我说:如果再说脏话,上帝会惩罚你的。我说:我操上帝。结论:彪悍的人生不需要上帝。

TOP

发新话题