Fabrice Stevens, Tod Courtney, Sankalp Singh, Adnan Agbaria, John F. Meyer, William H. Sanders, Partha Pratim Pal. Model-Based Validation of an Intrusion-Tolerant Information System. In 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 18-20 October 2004, Florianpolis, Brazil. pages 184-194, IEEE Computer Society, 2004. [doi]
@inproceedings{StevensCSAMSP04,
title = {Model-Based Validation of an Intrusion-Tolerant Information System},
author = {Fabrice Stevens and Tod Courtney and Sankalp Singh and Adnan Agbaria and John F. Meyer and William H. Sanders and Partha Pratim Pal},
year = {2004},
url = {http://csdl.computer.org/comp/proceedings/srds/2004/2239/00/22390184abs.htm},
tags = {rule-based, information models},
researchr = {https://researchr.org/publication/StevensCSAMSP04},
cites = {0},
citedby = {0},
pages = {184-194},
booktitle = {23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 18-20 October 2004, Florianpolis, Brazil},
publisher = {IEEE Computer Society},
isbn = {0-7695-2239-4},
}