发布文献求助

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

A Formal Framework for LLM-assisted Automated Generation of Zeek Signatures from Binary Artifacts

计算机科学二进制数形式化方法形式验证程序设计语言软件工程理论计算机科学算术数学

作者

Claudia Greco,Michele Ianni

出处

期刊：Future Generation Computer Systems [Elsevier BV]
日期：2025-08-01 卷期号：: 108086-108086

标识

DOI：10.1016/j.future.2025.108086

求助该文献

科研通智能强力驱动
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

9秒前; 烟花上传了应助文件

11秒前; 企鹅发布了新的文献求助10

16秒前; 月雪Miyako发布了新的文献求助30

20秒前; 桐桐上传了应助文件

21秒前; 现代丹亦发布了新的文献求助10

25秒前; 喜悦的唇彩完成签到，获得积分10

38秒前; 整齐的觅夏完成签到，获得积分20

38秒前; 拼搏的水桃完成签到，获得积分10

40秒前; Kao上传了应助文件

46秒前; 现代丹亦发布了新的文献求助10

51秒前; CipherSage的应助被movoandy采纳，获得10

57秒前; Jasper上传了应助文件

59秒前; Elen1987发布了新的文献求助10

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

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

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

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

1分钟前; 汉堡包上传了应助文件

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

1分钟前; 万能图书馆上传了应助文件

1分钟前; 隐形曼青上传了应助文件

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

1分钟前; 小蘑菇上传了应助文件

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

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

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

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

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

1分钟前; 整齐的觅夏发布了新的文献求助10

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

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

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

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

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

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

1分钟前; 小蘑菇上传了应助文件

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

1分钟前; 单身的涫完成签到，获得积分10

1分钟前; 孙温柔发布了新的文献求助10

1分钟前

高分求助中: (应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000; Essentials of Carbohydrate Chemistry and Biochemistry, 4th Edition 800; Organizational Behavior 510; Management and the Arts 510; Matrix Methods in Data Mining and Pattern Recognition Second Edition 510; CLSI VET01S-2024 Performance Standards for Antimicrobial Disk and Dilution Susceptibility Tests for Bacteria Isolated From Animals (7th Ed) 500; A Case Study on Hotels as Noncongregate Emergency Living Accommodations for Returning Citizens 500

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

热门帖子: 关注科研通微信公众号，转发送积分 7765651; 求助须知：如何正确求助？哪些是违规求助？ 9309862; 关于积分的说明 20312797; 捐赠科研通 7350460; 什么是DOI，文献DOI怎么找？ 3314969; 关于科研通互助平台的介绍 2464376; 邀请新用户注册赠送积分活动 2329444

今日热心研友

斯文的白玉

一级捡球员

学术文献互助

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

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

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

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

皖ICP备2024041134号-1

皖公网安备34019202002308

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

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

关注微信服务号

科研通