@inproceedings{inproceedings, title  = {{Formalizing and Validating Complex Security Requirements.}},

 publisher = {{North-Holland}},

 url = {{http://www.informatik.uni-trier.de/~ley/db/conf/dbsec/dbsec92.html }},

 year = {{1992}},

 month = {{1}},

 author = {{Morris P and McDermid JA}},

 volume = {{A-21}},

 journal = {{DBSec}},

 pages = {{113-124}},

 note = {{Accessed on 2024/12/22}}}