SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
Flow logic for Dolev–Yao secrecy in cryptographic processes
计算机科学
保密
密码原语
密码学
密码协议
流量（数学）
计算机安全
理论计算机科学
数学
几何学
作者
Chiara Bodei,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson
出处
期刊：
Future Generation Computer Systems
[Elsevier BV]
日期：2002-05-01
卷期号：18 (6): 747-756
被引量：26
链接
handle.net
doi.org
标识
DOI：10.1016/s0167-739x(02)00047-x
求助该文献
最长约 10秒，即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
⚡
2026年影响因子、分区
已更新！
(2026-6-17)
更新
📰 新增『新锐期刊分区』
(2026-3-24)
更新
💬 新增更精细的自定义提醒设置
(2026-1-4)
新增
🕒 每天60秒读懂世界·精选全球要闻
(2026-1-2)
新增
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
木易
完成签到，获得积分
10
5秒前
ZZzz
完成签到
，获得积分
10
5秒前
cdercder
上传了
应助文件
6秒前
aaaaa
完成签到，获得积分
10
11秒前
Nole
的
应助
被
岁大爷
采纳，获得
10
11秒前
gdgd
完成签到，获得积分
10
11秒前
yy
发布了新的
文献求助
20
12秒前
栀蓝
完成签到
，获得积分
10
12秒前
cdercder
上传了
应助文件
17秒前
冷静的代荷
完成签到，获得积分
10
19秒前
可爱的函函
上传了
应助文件
21秒前
小二郎
的
应助
被
冷静的代荷
采纳，获得
10
24秒前
Qu
完成签到
，获得积分
10
25秒前
小小旭呀
发布了新的
文献求助
10
28秒前
nano_grid
完成签到，获得积分
10
35秒前
yy
完成签到
，获得积分
10
36秒前
ROMANTIC
完成签到
，获得积分
0
38秒前
杨羕
完成签到，获得积分
10
38秒前
Evander
完成签到，获得积分
10
41秒前
希希
完成签到
，获得积分
10
43秒前
笨笨千亦
完成签到
，获得积分
10
46秒前
偷看星星
完成签到
，获得积分
10
46秒前
cdercder
上传了
应助文件
47秒前
yhjyhjyhj
完成签到
，获得积分
10
50秒前
欣慰的蛋挞
完成签到，获得积分
10
55秒前
liu95
完成签到
，获得积分
0
59秒前
yang
完成签到
，获得积分
10
1分钟前
Ava
上传了
应助文件
1分钟前
烟花
的
应助
被
科研通管家
采纳，获得
10
1分钟前
sagitar
的
应助
被
科研通管家
采纳，获得
20
1分钟前
小二郎
的
应助
被
科研通管家
采纳，获得
30
1分钟前
星辰大海
的
应助
被
科研通管家
采纳，获得
10
1分钟前
哥哥
完成签到
，获得积分
10
1分钟前
bgt
完成签到
，获得积分
10
1分钟前
susan
发布了新的
文献求助
10
1分钟前
jiaojaioo
完成签到，获得积分
10
1分钟前
自由雪菲力
完成签到，获得积分
10
1分钟前
小小
完成签到
，获得积分
10
1分钟前
cdercder
上传了
应助文件
1分钟前
趙途嘵生
完成签到，获得积分
10
1分钟前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】
10000
2026年中国辛酸癸酸聚乙二醇甘油酯行业市场现状调查及投资机会研判报告
1000
2026年中国辛酸癸酸聚乙二醇甘油酯行业市场规模及竞争格局分析报告
1000
48V Low-voltage Power Distribution Network (PDN) Architecture Industry Report, 2024
800
Fundamentals of Pharmaceutical and Biologics Regulations: A Global Perspective, Second Edition
700
Matrix Methods in Data Mining and Pattern Recognition Second Edition
510
Periodic Report Summary 2 - AFTER (A Framework for electrical power sysTems vulnerability identification, dEfense and Restoration)
500
热门求助领域
（近24小时）
化学
材料科学
医学
生物
纳米技术
工程类
有机化学
化学工程
生物化学
计算机科学
内科学
物理
复合材料
催化作用
细胞生物学
无机化学
光电子学
物理化学
电极
基因
热门帖子
关注
科研通微信公众号，转发送积分
7318561
求助须知：如何正确求助？哪些是违规求助？
8934279
关于积分的说明
18938571
捐赠科研通
6977312
什么是DOI，文献DOI怎么找？
3214245
关于科研通互助平台的介绍
2382193
邀请新用户注册赠送积分活动
2193218
今日热心研友
Kao
386
1400
嘻嘻哈哈
171
470
Copyright
98
190
OK
5
710
cdercder
55
140
Oracle
9
450
Nole
26
200
Sure
7
260
Criminology34
14
180
GingerF
250
GG
240
arniu2008
14
100
乐空思
240
行走的荷尔蒙
230
清平道人
8
100
fantasy
180
xingxing
170
无情的聪健
8
60
竹青
130
Samuel
120
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
PDF的下载单位、IP信息已删除
(2025-6-4)
Kao
嘻嘻哈哈
Copyright
OK
cdercder
Oracle
Nole
Sure
Criminology34
GingerF
GG
arniu2008
乐空思
行走的荷尔蒙
清平道人
fantasy
xingxing
无情的聪健
竹青
Samuel
皖公网安备34019202002308
