发布文献求助

A Formal Analysis of the FIDO2 Protocols

计算机科学 密码 一套 计算机安全 会话（web分析） 认证（法律） 协议（科学） 形式化描述 形式化方法 安全性分析 密码协议 形式验证 身份（音乐） 理论计算机科学 软件工程 程序设计语言 万维网 密码学 医学 物理 替代医学 考古 病理 声学 历史
作者
Jingjing Guan,Hui Li,Haisong Ye,Ziming Zhao
出处
期刊：Lecture Notes in Computer Science 日期：2022-01-01 卷期号：: 3-21 被引量：7
标识
DOI：10.1007/978-3-031-17143-7_1
最长约 10秒，即可获得该文献文件
相关文献
科研通智能强力驱动
Strongly Powered by AbleSci AI
祝大家在新的一年里科研腾飞
更新
大幅提高文件上传限制，最高150M (2024-4-1)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
英俊的铭的应助被甘楽采纳，获得10
刚刚
yordeabese完成签到，获得积分10
1秒前
Orange的应助被琪琪采纳，获得10
2秒前
2秒前
寒冷的水桃关注了科研通微信公众号
2秒前
赵雪杰发布了新的文献求助10
2秒前
嗯哼的应助被wang采纳，获得20
3秒前
温柔半梦发布了新的文献求助10
3秒前
4秒前
五月发布了新的文献求助10
5秒前
5秒前
情怀的应助被黄超明采纳，获得10
7秒前
8秒前
王云逸发布了新的文献求助10
8秒前
yanganqi完成签到，获得积分10
8秒前
9秒前
9秒前
年轻寒云发布了新的文献求助10
10秒前
赘婿的应助被赵雪杰采纳，获得10
11秒前
11秒前
小马甲的应助被hwy采纳，获得10
12秒前
12秒前
13秒前
人机发布了新的文献求助10
14秒前
ASIS发布了新的文献求助30
14秒前
琪琪发布了新的文献求助10
14秒前
深情不弱发布了新的文献求助10
15秒前
温柔半梦完成签到，获得积分20
15秒前
李李完成签到 ，获得积分10
16秒前
16秒前
GGBon发布了新的文献求助10
17秒前
哈哈哈哈发布了新的文献求助10
17秒前
云缙完成签到，获得积分10
17秒前
19秒前
19秒前
宇是眼中星眸完成签到 ，获得积分10
21秒前
orixero的应助被海绵徐采纳，获得10
21秒前
耶瑟儿发布了新的文献求助10
21秒前
24秒前
tuanzi发布了新的文献求助10
24秒前
高分求助中
Востребованный временем 2500
The Three Stars Each: The Astrolabes and Related Texts 1000
Les Mantodea de Guyane 800
Mantids of the euro-mediterranean area 700
Plate Tectonics 500
Igneous rocks and processes: a practical guide（第二版） 500
Mantodea of the World: Species Catalog 500
热门求助领域 （近24小时）
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 物理化学 催化作用 细胞生物学 免疫学 冶金
热门帖子
关注 科研通微信公众号，转发送积分 3407477
求助须知：如何正确求助？哪些是违规求助？ 3012021
关于积分的说明 8852179
捐赠科研通 2699156
什么是DOI，文献DOI怎么找？ 1479876
科研通“疑难数据库（出版商）”最低求助积分说明 684054
邀请新用户注册赠送积分活动 678339
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通