没有合适的资源?快使用搜索试试~ 我知道了~
jpf-qif:Java字节码的符号量化信息流分析
共24个文件
java:13个
jpf:4个
xml:1个
需积分: 5 0 下载量 101 浏览量
2021-06-29
18:04:42
上传
评论
收藏 23KB ZIP 举报
温馨提示
jpf-qif Java字节码的符号量化信息流分析 项目页面 抽象的 现实世界中的计算机系统从来都不是 100% 安全的,因此我们需要衡量它们的安全性。 举一个简单的例子,假设一个攻击者试图猜测一个密码:如果他的猜测是正确的,他可以获得所有信息; 否则他仍然可以得知密码与之前的尝试不同,因此他的搜索空间被缩小了。 在任何一种情况下,密码检查程序都会泄漏一些信息。 该项目的目的是使用 JPF 来量化 Java 程序中机密信息的泄漏。 纸 。 JPF 2012。 Quoc-Sang Phan、Pasquale Malacaria、Oksana Tkachuk 和 Corina S. Pasareanu。 安装 以下说明适用于不了解 Java Pathfinder 的人。 用户需要在他们的计算机上安装 Apache Ant。 创建一个新文件夹“ jpf ”,您要在其中放置 Java Pa
资源推荐
资源详情
资源评论
收起资源包目录
jpf-qif-master.zip (24个子文件)
jpf-qif-master
.externalToolBuilders
antBuilder.launch 972B
bin
qif 194B
build.xml 7KB
src
main
gov
nasa
jpf
qif
Analyzer.java 9KB
drivers
DriverTwoBitPattern.java 2KB
DriverBitVector.java 1KB
DriverForTest.java 1KB
Driver.java 572B
DriverNoutputs.java 1KB
DriverOneBitPattern.java 748B
PatternBuilder.java 6KB
tool
RunQIF.java 5KB
examples
ElectronicPurse.jpf 277B
plas
ImplicitFlow.java 596B
SanityCheck.java 427B
ElectronicPurse.java 424B
SanityCheck1.java 419B
SanityCheck1.jpf 272B
ImplicitFlow.jpf 272B
SanityCheck.jpf 270B
.project 746B
.classpath 546B
README.md 4KB
jpf.properties 480B
共 24 条
- 1
资源评论
林海靖
- 粉丝: 61
- 资源: 4728
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功