-
Gerking_PhD_Based实时信息流安全验证技术评估数据
2026年1月28日 30 92 55
数据集概述 本数据集是Christopher Gerking博士论文中“实时信息流安全验证技术”章节的配套评估成果，包含一个压缩文件，用于支持论文相关技术的验证与复现。 文件详解 文件名称：org.muml.uppaal.noninterference.zip 文件格式：ZIP（压缩包）...
-
ECOOP_Submitted_Android隐式跨应用通信信息流安全自动修复工具数据
2026年1月14日 30 174 170
数据集概述 本数据集为ECOOP会议投稿论文的配套数据，包含用于Android隐式跨应用通信中信息流安全自动修复工具的相关工件，核心文件为一个压缩包，可支持论文研究内容的复现与验证。 文件详解 压缩包文件 文件名称：IntentRepair_Replication_Package.zip 文件格式：ZIP...
