Brian W. Thomson, E. Stewart Lee, Peter I. P. Boulton, Michael Stumm, David M. Lewis. Using Deducibility in Secure Network Modelling. In ESORICS 90 - First European Symposium on Research in Computer Security, October 24-26, 1990, Toulouse, France. pages 117-123, AFCET, 1990.
@inproceedings{ThomsonLBSL90,
title = {Using Deducibility in Secure Network Modelling},
author = {Brian W. Thomson and E. Stewart Lee and Peter I. P. Boulton and Michael Stumm and David M. Lewis},
year = {1990},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/ThomsonLBSL90},
cites = {0},
citedby = {0},
pages = {117-123},
booktitle = {ESORICS 90 - First European Symposium on Research in Computer Security, October 24-26, 1990, Toulouse, France},
publisher = {AFCET},
}