Incorporating Verification Standards for Security Requirements Generation from Functional Specifications. - Xiaoli Lian; Shuaisong Wang; Hanyu Zou; Fang Liu 032; Jiajun Wu 004; Li Zhang 029 (Proc. ACM Softw. Eng., 2025)