Automated analysis of security requirements through risk-based argumentation

Yijun Yu, Virginia N. L. Franqueira, Thein Than Tun, Roel Wieringa, Bashar Nuseibeh. Automated analysis of security requirements through risk-based argumentation. Journal of Systems and Software, 106:102-116, 2015. [doi]

@article{YuFTWN15,
  title = {Automated analysis of security requirements through risk-based argumentation},
  author = {Yijun Yu and Virginia N. L. Franqueira and Thein Than Tun and Roel Wieringa and Bashar Nuseibeh},
  year = {2015},
  doi = {10.1016/j.jss.2015.04.065},
  url = {http://dx.doi.org/10.1016/j.jss.2015.04.065},
  researchr = {https://researchr.org/publication/YuFTWN15},
  cites = {0},
  citedby = {0},
  journal = {Journal of Systems and Software},
  volume = {106},
  pages = {102-116},
}