@article{DBLP:journals/jhsn/MadanT04,
author = {Bharat B. Madan and
Kishor S. Trivedi},
title = {Security modeling and quantification of intrusion tolerant
systems using attack-response graph},
journal = {J. High Speed Networks},
volume = {13},
number = {4},
year = {2004},
pages = {297-308},
ee = {http://iospress.metapress.com/content/r7d7wr0v9cjne4kf/},
bibsource = {DBLP, http://dblp.uni-trier.de}
}