Anthony Boswell. Specification and Validation of a Security Policy Model. IEEE Trans. Software Eng., 21(2):63-68, 1995. [doi]
@article{Boswell95, title = {Specification and Validation of a Security Policy Model}, author = {Anthony Boswell}, year = {1995}, url = {http://www.computer.org/tse/ts1995/e0063abs.htm}, tags = {meta-model, security, Meta-Environment}, researchr = {https://researchr.org/publication/Boswell95}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {21}, number = {2}, pages = {63-68}, }