按相关排序
只看PDF
全部页数
时间不限
只看优质
只看可投资
展开
排序：
相关 最多阅读 最新上传
格式：
全部 doc pdf ppt xls txt 豆单
页数：
全部 1-8页 9-100页 100页以上
时间：
全部 2024年 2023年 2022年及以前
8
形式化分析工具scyther性能研究.pdf
１．洛阳外国语学院语言工程系，洛阳，４７１００３；２．中国科学院信患工程研究所，信息安全国家重点实验室，北京，１０００９３ 摘要：形式化分析方法已经成为安全协议分析的主流方法之一。安全协议形式化分析工
收藏到书房
52
电子商务协议形式化分析工具的研究.pdf
电子商务协议形式化分析工具的研究
收藏到书房
70
[PDF][精品文]基于串空间的网络安全协议形式化分析模型与工具研究.pdf
ＤｉｓｓｅｒｔａｔｉｏｎＳｕｂｍｉｔｔｅｄｔｏＺｈｅｊｉａｎｇＵｎｉｖｅｒｓｆｏｒｔｈｅＤｅｇｒｅｅｏｆＭａｓｔｅｒＲＥＳＥＡＲＣＨＯＮＦＯＲＭＡＬＡＮＡＬＹＳＩＳＭＯＤＥＬＳＡＮＤＴＯＯＬＳＯＦＳＥ
收藏到书房
59
电子商务协议形式化分析工具的研究.pdf
电子商务协议形式化分析工具的研究,形式化,形式化方法,形式化验证,网络协议分析,协议分析,软件形式化方法,协议分析网,商务合作协议,协议分析工具
收藏到书房
63
(计算机应用技术专业论文)电子商务协议形式化分析工具的研究.pdf
（计算机应用技术专业论文）电子商务协议形式化分析工具的研究应用,研究,专业,计算机,技术的研究,形式化分析,协议的分析,技术论文,专业论文,形式化
收藏到书房
2
Stimulus需求形式化建模和分析工具.pdf
Stimulus需求形式化建模和分析工具Stimulus需求形式化建模和分析工具Stimulus需求形式化建模和分析工具
收藏到书房
3
Stimulus - 需求形式化建模和分析工具.pdf
Stimulus — 需求形式化建模和分析工具Stimulus — 需求形式化建模和分析工具Stimulus — 需求形式化建模和分析工具
收藏到书房
2
Stimulus - 需求形式化建模和分析工具.pdf
Stimulus — 需求形式化建模和分析工具Stimulus — 需求形式化建模和分析工具Stimulus — 需求形式化建模和分析工具
收藏到书房
7
基于形式化模型的性能分析(FMPA)方法及工具设计概述.pdf
基于形式化模型的性能分析(FMPA)方法及工具设计概述
收藏到书房
3
一个安全协议形式化分析工具的研究.pdf
一个安全协议形式化分析工具的研究一个安全协议形式化分析工具的研究一个安全协议形式化分析工具的研究
收藏到书房

向豆丁求助：有没有形式化分析工具scyther性能研究?

相关搜索
如要投诉违规内容，请联系我们按需举报；如要提出意见建议，请到社区论坛发帖反馈。