发布文献求助

Formal Verification of Security Protocols

计算机科学 密码协议 计算机安全 协议（科学） 计算机安全模型 身份验证协议 密码学 混凝土安全 认证（法律） 医学 病理 替代医学
作者
Markus Roggenbach,Siraj Ahmed Shaikh,Hoang Nga Nguyen
出处
期刊：Texts in theoretical computer science 日期：2022-01-01 卷期号：: 395-451 被引量：3
标识
DOI：10.1007/978-3-030-38800-3_8
最长约 10秒，即可获得该文献文件
相关文献
科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
李爱国的应助被啊菠萝采纳，获得10
刚刚
TRY完成签到，获得积分10
刚刚
刚刚
天真念柏发布了新的文献求助10
1秒前
1秒前
1秒前
丛书序发布了新的文献求助10
3秒前
迟大猫的应助被YUF采纳，获得10
3秒前
斯文败类的应助被forg采纳，获得10
3秒前
4秒前
niuma发布了新的文献求助10
4秒前
小吕完成签到，获得积分20
5秒前
5秒前
haonanchen完成签到，获得积分10
6秒前
老实的振家完成签到，获得积分10
7秒前
洋洋洋发布了新的文献求助80
7秒前
情怀的应助被zzx采纳，获得10
7秒前
丘比特的应助被轻松青文采纳，获得10
7秒前
天真念柏完成签到，获得积分10
8秒前
wasttt完成签到，获得积分10
8秒前
AA完成签到，获得积分10
8秒前
8秒前
9秒前
9秒前
9秒前
lovesxj941发布了新的文献求助10
10秒前
10秒前
森森完成签到，获得积分10
10秒前
相想完成签到，获得积分20
10秒前
bobo完成签到，获得积分10
10秒前
默默柚子发布了新的文献求助10
10秒前
11秒前
12秒前
12秒前
12秒前
YJJ关闭了YJJ的文献求助
12秒前
13秒前
Lucas的应助被Jack采纳，获得10
13秒前
琪哒完成签到 ，获得积分10
13秒前
13秒前
高分求助中
Continuum Thermodynamics and Material Modelling 4000
Production Logging: Theoretical and Interpretive Elements 2700
Ensartinib (Ensacove) for Non-Small Cell Lung Cancer 1000
Les Mantodea de Guyane Insecta, Polyneoptera 1000
Unseen Mendieta: The Unpublished Works of Ana Mendieta 1000
El viaje de una vida: Memorias de María Lecea 800
Luis Lacasa - Sobre esto y aquello 700
热门求助领域 （近24小时）
化学 材料科学 生物 医学 工程类 有机化学 生物化学 物理 纳米技术 计算机科学 内科学 化学工程 复合材料 基因 遗传学 物理化学 催化作用 量子力学 光电子学 冶金
热门帖子
关注 科研通微信公众号，转发送积分 3522849
求助须知：如何正确求助？哪些是违规求助？ 3103786
关于积分的说明 9267447
捐赠科研通 2800458
什么是DOI，文献DOI怎么找？ 1536934
邀请新用户注册赠送积分活动 715309
科研通“疑难数据库（出版商）”最低求助积分说明 708693
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通