TY  - RPRT
TI  - Incorporating Verification Standards for Security Requirements Generation from Functional Specifications
AU  - Xiaoli Lian
AU  - Shuaisong Wang
AU  - Hanyu Zou
AU  - Fang Liu
AU  - Jiajun Wu
AU  - Li Zhang
PY  - 2025
DO  - 10.1145/3729347
UR  - https://arxiv.org/abs/2505.11857
ID  - 2505.11857
ER  -