@misc{indiciaebdc3311f95c4,
  title = {Incorporating Verification Standards for Security Requirements Generation from Functional Specifications},
  author = {Xiaoli Lian and Shuaisong Wang and Hanyu Zou and Fang Liu and Jiajun Wu and Li Zhang},
  year = {2025},
  doi = {10.1145/3729347},
  url = {https://arxiv.org/abs/2505.11857},
  note = {Source identifier: 2505.11857}
}