24小时热门版块排行榜    

查看: 957  |  回复: 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 的主题更新
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 欢迎发来filecode的Mz6后的代码验证其规律 +12 医学老男孩 2026-08-13 31/1550 2026-08-14 07:47 by 医学老男孩
[考博] 澳大利亚 Murdoch University 全奖博士招生(3个名额)地质化工冶金领域 +69 AI8RaGaPaSCR 2026-08-07 72/3600 2026-08-14 07:45 by u5Hy7ZmCpaka
[基金申请] FileCode能看出啥? +10 要乐观耀哥 2026-08-10 29/1450 2026-08-14 07:42 by 要乐观耀哥
[硕博家园] 一作与独作在应聘高校教师时区别大吗 +3 mbygzh 2026-08-08 4/200 2026-08-13 19:31 by 龙-樱
[基金申请] 有时候,自然基金真的不能太认真 (我的申报经验) +4 majunge000 2026-08-11 6/300 2026-08-13 16:50 by 四季常青藤
[基金申请] 不应该看fileCode +7 且听虎啸 2026-08-12 9/450 2026-08-13 14:27 by flydreamws
[基金申请] 分享一下我之前已中青C的计划书的filecode +4 布布和一二 2026-08-11 5/250 2026-08-13 12:56 by cratir
[基金申请] 结合人工智能,周易传统文化,filecode打分制来了,3分以上希望很大。 +3 Tide man 2026-08-12 4/200 2026-08-13 08:35 by ZJTJZ
[基金申请] 2019年青年基金涵评意见,大家看看几个A,几个B? +11 Tide man 2026-08-11 11/550 2026-08-13 07:35 by 撸猫猫
[基金申请] 奇怪,两个人的filecode固定段从头到尾一模一样 +7 布布和一二 2026-08-10 10/500 2026-08-12 09:12 by 布布和一二
[基金申请] 什么时候出结果,有咨询渠道??? +3 Tide man 2026-08-11 3/150 2026-08-11 17:54 by kudofaye
[基金申请] 确定了,国自然21号放榜 +6 布布和一二 2026-08-10 7/350 2026-08-10 19:15 by 2000zf36392
[基金申请] 关于代码变化问题,想知道的进来 +17 且听虎啸 2026-08-07 24/1200 2026-08-10 18:35 by zhangduo2008
[基金申请] 国自然结果 +4 Vierhys 2026-08-10 8/400 2026-08-10 15:06 by Vierhys
[基金申请] 这样的filecode谁见过 +11 布布和一二 2026-08-08 22/1100 2026-08-10 11:10 by wmfsnow
[基金申请] filecode与中标关系的预测 +5 布布和一二 2026-08-07 5/250 2026-08-09 16:15 by 袁向阳007
[基金申请] fileCode有新解读? +10 Tide man 2026-08-08 18/900 2026-08-09 12:55 by 仁砚薪传
[基金申请] 关于filecode,很负责任的告诉大家 +6 爱看书的可乐 2026-08-08 7/350 2026-08-08 22:13 by a_niu
[基金申请] 国基金的申报应该改成非等额制,评价高的钱多评价低的钱少,但是增加资助率 +7 a089 2026-08-07 7/350 2026-08-08 18:05 by gltch
[基金申请] 化学口download_prp&fileCode的固定段好像这几天一直没变,有变的大神么? +3 Tide man 2026-08-07 4/200 2026-08-07 22:39 by Tide man
信息提示
请填处理意见