Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai. Formal Analysis of Software Security System Architectures. In ISADS. pages 426-434, 2001. [doi]
@inproceedings{DengWT01,
title = {Formal Analysis of Software Security System Architectures},
author = {Yi Deng and Jiacun Wang and Jeffrey J. P. Tsai},
year = {2001},
url = {http://computer.org/proceedings/isads/1065/10650426abs.htm},
tags = {software architecture, architecture, analysis, security},
researchr = {https://researchr.org/publication/DengWT01},
cites = {0},
citedby = {0},
pages = {426-434},
booktitle = {ISADS},
}