楼主: dreamtree
724 4

[文献] Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVe [推广有奖]

贵宾

已卖：7094份资源

学术权威

68%

还不是VIP/贵宾

-

0%
威望
11 级
论坛币
3368392 个
通用积分
34418.0696
学术水平
3669 点
热心指数
4301 点
信用等级
3603 点
经验
276804 点
帖子
4646
精华
13
在线时间
3504 小时
注册时间
2008-11-11
最后登录
2025-12-1

二级伯乐勋章 一级伯乐勋章 初级热心勋章 初级学术勋章 初级信用勋章 中级学术勋章 中级热心勋章 中级信用勋章 高级学术勋章 高级热心勋章 高级信用勋章 特级信用勋章 特级学术勋章 特级热心勋章

楼主
dreamtree 发表于 2019-2-12 00:56:56 |AI写论文
50论坛币
【作者(必填)】Bruno Blanchet

【文题(必填)】Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif

【年份(必填)】2016

【全文链接或数据库名称(选填)】https://www.nowpublishers.com/article/Details/SEC-004
求链接提供的正式版本，请不要上传工作论文等非正式版本

最佳答案

giresse 查看完整内容

邮件传递的文献，看看对不对。
分享0
关键词：Protocols Calculus Modeling Protocol security
已有 1 人评分论坛币 收起 理由
giresse + 1 精彩帖子

总评分: 论坛币 + 1   查看全部评分

数学和艺术都充满了美丽的色彩！

沙发
giresse 在职认证  发表于 2019-2-12 00:56:57

邮件传递的文献，看看对不对。
附件: 你需要登录才可以下载或查看附件。没有帐号？我要注册
已有 1 人评分论坛币 收起 理由
dreamtree + 30 根据规定进行奖励

总评分: 论坛币 + 30   查看全部评分

藤椅
dreamtree 发表于 2019-2-13 03:04:02
giresse 发表于 2019-2-12 08:36
邮件传递的文献，看看对不对。
十分感谢
板凳
giresse 在职认证  发表于 2019-2-13 07:58:34
dreamtree 发表于 2019-2-13 03:04
十分感谢
报纸
xujingjun 发表于 2019-2-13 08:40:01

返回列表
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 我要注册

本版微信群
jg-xs1
拉您进交流群

京ICP备16021002号-2 京B2-20170662号 京公网安备 11010802022788号 论坛法律顾问：王进律师 知识产权保护声明   免责及隐私声明

GMT+8, 2025-12-27 01:04