Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification

已完结

文献求助详情

系统提示

该求助疑似为摘要（如会议摘要，并非全文），为了快速得到需要的文献，建议求助人检查核实。查看帮助

提醒：由于doi是数字文件的唯一标识，应助人将优先使用doi进行应助

标题	Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification 相关领域投机计算机科学模型检查程序设计语言财务经济
网址	https://doi.org/10.1007/978-3-030-16458-4_27
DOI	10.1007/978-3-030-16458-4_27 doi
其它	期刊：Lecture Notes in Computer Science 作者：Gianpiero Cabodi; Paolo Camurati; Fabrizio F. Finocchiaro; Danilo Vendraminetto 出版日期：2019-04-22
求助人	研友_8Q0EyZ 在 2023-03-11 10:45:21 发布自北京，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

不忘初心，牢记使命，为科研工作者服务

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

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

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

活动

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

更新

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

更新

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

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

实时播报: ws发布了新的文献求助10

刚刚; 完美世界上传了应助文件

1秒前; 英俊的铭上传了应助文件

2秒前; 李梁小惠子发布了新的文献求助10

2秒前; DAYDAY完成签到，获得积分10

2秒前; SYLH的应助被锵崽锵崽采纳，获得10

3秒前; 烟花的应助被yxy采纳，获得10

3秒前; 木穹发布了新的文献求助10

4秒前; 孙笑川258关闭了孙笑川258的文献求助

5秒前; 若有缘由发布了新的文献求助10

5秒前; 祈安*发布了新的文献求助10

5秒前; 失眠虔纹发布了新的文献求助10

5秒前; 子车茗上传了应助文件

6秒前; Akim上传了应助文件

7秒前; ew发布了新的文献求助10

7秒前; 大方嵩完成签到，获得积分10

8秒前; 脑洞疼上传了应助文件

8秒前; MFiWanting完成签到，获得积分10

8秒前; 北beibe发布了新的文献求助10

8秒前; 慕青的应助被honey采纳，获得10

9秒前; 852上传了应助文件

10秒前; 无畏发布了新的文献求助20

10秒前; 锵崽锵崽完成签到，获得积分10

10秒前; 幽默的溪灵上传了应助文件

11秒前; 学医的杨同学完成签到，获得积分10

11秒前; 我真不混啊发布了新的文献求助10

11秒前; HEIKU的应助被andrele采纳，获得10

12秒前; 小宝发布了新的文献求助10

13秒前; 张振宇完成签到，获得积分10

13秒前; 11的应助被wangqing采纳，获得20

14秒前; 滕皓轩关闭了滕皓轩的文献求助

14秒前; 白张发布了新的文献求助10

15秒前; 蒋蒋发布了新的文献求助10

15秒前; 曾经的妍完成签到，获得积分10

16秒前; 星辰大海的应助被渡星河采纳，获得10

16秒前; 李健上传了应助文件

16秒前; ding的应助被李梁小惠子采纳，获得10

17秒前; 11上传了应助文件

17秒前; 失眠虔纹完成签到，获得积分10

17秒前; ding的应助被Samia采纳，获得10

18秒前