发布文献求助

LLM-Aided Automatic Modeling for Security Protocol Verification

计算机科学 密码协议 协议（科学） 形式验证 计算机安全 密码学 程序设计语言 医学 病理 替代医学
作者
Z.Y. Mao,Jingyi Wang,Jun Sun,Shengchao Qin,Jiawen Xiong
标识
DOI：10.1109/icse55347.2025.00197
最长约 10秒，即可获得该文献文件
相关文献
科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
PDF的下载单位、IP信息已删除 (2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
3秒前
彳亍1117的应助被懵懂的土豆采纳，获得10
4秒前
zjj完成签到，获得积分10
4秒前
Lois发布了新的文献求助10
5秒前
5秒前
Kristina完成签到，获得积分10
7秒前
刘旦生完成签到 ，获得积分10
8秒前
量子星尘发布了新的文献求助10
8秒前
独特凡松发布了新的文献求助10
8秒前
11秒前
高兴的幻竹完成签到，获得积分10
13秒前
顾得白白发布了新的文献求助10
13秒前
乐乐的应助被姜宝龙采纳，获得10
15秒前
15秒前
jhr完成签到，获得积分20
18秒前
万能图书馆的应助被xyzlancet采纳，获得10
18秒前
郦乞完成签到，获得积分10
18秒前
田様的应助被feitian201861采纳，获得10
19秒前
20秒前
20秒前
飘逸抽屉发布了新的文献求助10
21秒前
彭于晏的应助被zjj采纳，获得10
23秒前
23秒前
24秒前
25秒前
不安青牛的应助被咕噜坚果采纳，获得10
26秒前
26秒前
呆崽发布了新的文献求助10
26秒前
量子星尘发布了新的文献求助10
27秒前
少年发布了新的文献求助20
28秒前
wenwen发布了新的文献求助10
29秒前
123csdkvikd发布了新的文献求助10
30秒前
星辰大海的应助被妩媚的凝芙采纳，获得10
32秒前
Lucas的应助被呆崽采纳，获得10
32秒前
33秒前
34秒前
乐乐发布了新的文献求助10
36秒前
123csdkvikd完成签到，获得积分20
38秒前
38秒前
自由的澜发布了新的文献求助10
38秒前
高分求助中
(应助此贴封号)【重要！！请各位详细阅读】【科研通的精品贴汇总】 10000
Materials Selection in Mechanical Design 5000
Voyage au bout de la révolution: de Pékin à Sochaux 700
血液中补体及巨噬细胞对大肠杆菌噬菌体PNJ1809-09活性的影响 500
Methodology for the Human Sciences 500
First Farmers: The Origins of Agricultural Societies, 2nd Edition 500
Simulation of High-NA EUV Lithography 400
热门求助领域 （近24小时）
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号，转发送积分 4310912
求助须知：如何正确求助？哪些是违规求助？ 3832029
关于积分的说明 11990536
捐赠科研通 3472204
什么是DOI，文献DOI怎么找？ 1903934
邀请新用户注册赠送积分活动 950847
科研通“疑难数据库（出版商）”最低求助积分说明 852631
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通