Incorporating Verification Standards for Security Requirement Generation from Functional Specifications

The data used in the paper "Incorporating Verification Standards for Security Requirement Generation from Functional Specifications" is published here. For detailed explanations, please refer to Readme.md

本论文《集成验证标准以从功能规范生成安全需求》（Incorporating Verification Standards for Security Requirement Generation from Functional Specifications）所使用的数据集已于此处发布。如需获取详细说明，请参阅 Readme.md。

搜集汇总

背景与挑战

背景概述

该数据集用于论文《Incorporating Verification Standards for Security Requirement Generation from Functional Specifications》，包含多个研究问题相关的注释文件夹和CPN、电子钱包、GPS等示例数据。数据集关注安全需求生成，适用于自动化软件工程领域的研究。