@article{lian2025security,
  title   = {Incorporating Verification Standards for Security Requirements Generation from Functional Specifications},
  author  = {Lian, Xiaoli and Wang, Shuaisong and Zou, Hanyu and Liu, Fang and Wu, Jiajun and Zhang, Li},
  journal = {Proceedings of the ACM on Software Engineering},
  volume  = {2},
  number  = {FSE},
  pages   = {1710--1732},
  year    = {2025},
  doi     = {10.1145/3729347},
  url     = {https://doi.org/10.1145/3729347}
}