24小时热门版块排行榜    

查看: 874  |  回复: 5

41620935

[交流] 【求助】求关于数字签名和密码协议安全性证明的文章 已有5人参与

求关于数字签名和密码协议安全性证明的文章
越经典越好 谢谢了
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

帝国学者

木虫 (著名写手)


无奈的云(金币+1):谢谢热心参与! 2010-05-14 14:16:02
协议安全性的形式化证明研究论文比较多
你到三大学报里面找几篇,他们引用的文献多是比较经典
2楼2010-05-14 12:52:18
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

zh1985444

金虫 (正式写手)

★ ★
小木虫(金币+0.5):给个红包,谢谢回帖交流
无奈的云(金币+1):谢谢热心参与! 2010-05-14 14:16:08
自己再欧密会,美密会和亚密会的论文库里找
3楼2010-05-14 12:58:59
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

41620935

引用回帖:
Originally posted by 帝国学者 at 2010-05-14 12:52:18:
协议安全性的形式化证明研究论文比较多
你到三大学报里面找几篇,他们引用的文献多是比较经典

謝謝~ 我是這麼干的
4楼2010-05-14 13:05:09
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

yanglu252

新虫 (正式写手)


小木虫(金币+0.5):给个红包,谢谢回帖交流
引用回帖:
Originally posted by 帝国学者 at 2010-05-14 12:52:18:
协议安全性的形式化证明研究论文比较多
你到三大学报里面找几篇,他们引用的文献多是比较经典

哪三大学报啊?
独自等待。。。
5楼2010-10-12 20:31:07
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

qingcheng88

木虫 (小有名气)


小木虫: 金币+0.5, 给个红包,谢谢回帖
现在都在安全模型下证明安全性,安全模型有随机预言机模型和标准模型两大类,我也在学习这个。
计算机网络与信息安全
6楼2012-05-04 08:36:36
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 41620935 的主题更新
普通表情 高级回复 (可上传附件)
信息提示
请填处理意见