Deepinder P. Sidhu. Executable Logic Specifications: A New Approach to Computer Security. In IEEE Symposium on Security and Privacy. pages 142-153, 1984.
@inproceedings{Sidhu84,
title = {Executable Logic Specifications: A New Approach to Computer Security},
author = {Deepinder P. Sidhu},
year = {1984},
tags = {security, logic, systematic-approach},
researchr = {https://researchr.org/publication/Sidhu84},
cites = {0},
citedby = {0},
pages = {142-153},
booktitle = {IEEE Symposium on Security and Privacy},
}