发布文献求助

亲爱的研友该休息了！由于当前在线用户较少，发布求助请尽量完整的填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！身体可是革命的本钱，早点休息，好梦！

SoK: Directions and Issues in Formal Verification of Payment Protocols

付款计算机科学形式验证计算机安全业务程序设计语言万维网

作者

Hideki Sakurada,Kouichi Sakurai

出处

期刊：Lecture notes on data engineering and communications technologies 日期：2024-01-01 卷期号：: 111-119 被引量：1

标识

DOI：10.1007/978-3-031-57916-5_10

求助该文献

最长约 10秒，即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

活动

『应助活动周』获奖名单已公布 🔥 (2025-4-2)

更新

『中科院2025期刊分区』已更新 (2025-3-23)

更新

『即时热点』模块已上线 (2025-2-28)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 烟花上传了应助文件

9秒前; lixiaoxia发布了新的文献求助10

14秒前; 李健的粉丝团团长上传了应助文件

42秒前; LiS发布了新的文献求助10

45秒前; 忧郁的蟑螂王完成签到，获得积分10

1分钟前; 闪闪映易完成签到，获得积分10

1分钟前; Owen上传了应助文件

1分钟前; 科研通AI5的应助被caicainuegou采纳，获得10

1分钟前; 科研通AI5的应助被隐形的绮山采纳，获得10

1分钟前; 任性的一斩发布了新的文献求助10

1分钟前; 和谐的抽屉完成签到，获得积分10

1分钟前; 科研通AI5上传了应助文件

1分钟前; 科研通AI5上传了应助文件

1分钟前; 隐形的绮山发布了新的文献求助10

1分钟前; 乐乐上传了应助文件

1分钟前; caicainuegou发布了新的文献求助10

1分钟前; darkpigx完成签到，获得积分10

1分钟前; ZHEN发布了新的文献求助10

1分钟前; TXZ06完成签到，获得积分10

1分钟前; ZHEN完成签到，获得积分10

1分钟前; 居居侠完成签到，获得积分10

1分钟前; 个性归尘上传了应助文件

1分钟前; 星辰大海上传了应助文件

1分钟前; 神奇大药丸发布了新的文献求助10

2分钟前; 神奇大药丸完成签到，获得积分10

2分钟前; 8R60d8的应助被caicainuegou采纳，获得10

2分钟前; Singularity的应助被caicainuegou采纳，获得10

2分钟前; 科研通AI5的应助被caicainuegou采纳，获得10

2分钟前; 内向远侵发布了新的文献求助10

3分钟前; 一只羊完成签到，获得积分10

3分钟前; 感谢有你完成签到，获得积分10

4分钟前; Akim上传了应助文件

4分钟前; 科研通AI5的应助被科研通管家采纳，获得10

4分钟前; jyy的应助被科研通管家采纳，获得10

4分钟前; jyy的应助被科研通管家采纳，获得10

4分钟前; LiS发布了新的文献求助10

4分钟前; LiS完成签到，获得积分10

4分钟前; 李爱国的应助被黑熊精采纳，获得10

4分钟前; 冷酷的依霜完成签到，获得积分20

4分钟前; 个性归尘上传了应助文件

4分钟前

高分求助中: Mass producing individuality 600; Algorithmic Mathematics in Machine Learning 500; Разработка метода ускоренного контроля качества электрохромных устройств 500; A Combined Chronic Toxicity and Carcinogenicity Study of ε-Polylysine in the Rat 400; Advances in Underwater Acoustics, Structural Acoustics, and Computational Methodologies 300; NK Cell Receptors: Advances in Cell Biology and Immunology by Colton Williams (Editor) 200; Effect of clapping movement with groove rhythm on executive function: focusing on audiomotor entrainment 200

热门求助领域（近24小时）

热门帖子: 关注科研通微信公众号，转发送积分 3827228; 求助须知：如何正确求助？哪些是违规求助？ 3369590; 关于积分的说明 10456499; 捐赠科研通 3089256; 什么是DOI，文献DOI怎么找？ 1699738; 邀请新用户注册赠送积分活动 817497; 科研通“疑难数据库（出版商）”最低求助积分说明 770251

今日热心研友

遇上就这样吧

jenningseastera

请叫我风吹麦浪

注：热心度 = 本日应助数 + 本日被采纳获取积分÷10

Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved

科研通是非营利科研互助平台，不忘初心，为科研助力

本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播

皖ICP备2024041134号-1

皖公网安备34019202002308

科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】

科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入

关注微信服务号

科研通