Incorporating Verification Standards for Security Requirements Generation from Functional Specifications

Xiaoli Lian, Shuaisong Wang, Hanyu Zou +3

In the current software driven era, ensuring privacy and security is critical. Despite this, the specification of security requirements for software is still largely a manual and l…