Fevzi Belli, Christof J. Budnik, Nimal Nissanke. Finite-State Modeling, Analysis and Testing of System Vulnerabilities. In Uwe Brinkschulte, Jürgen Becker, Dietmar Fey, Karl-Erwin Großpietsch, Christian Hochberger, Erik Maehle, Thomas A. Runkler, editors, ARCS 2004 - Organic and Pervasive Computing, Workshops Proceedings, March 26, 2004, Augsburg, Germany. Volume 41 of LNI, pages 19-33, GI, 2004.
@inproceedings{BelliBN04,
title = {Finite-State Modeling, Analysis and Testing of System Vulnerabilities},
author = {Fevzi Belli and Christof J. Budnik and Nimal Nissanke},
year = {2004},
tags = {modeling, testing, analysis},
researchr = {https://researchr.org/publication/BelliBN04},
cites = {0},
citedby = {0},
pages = {19-33},
booktitle = {ARCS 2004 - Organic and Pervasive Computing, Workshops Proceedings, March 26, 2004, Augsburg, Germany},
editor = {Uwe Brinkschulte and Jürgen Becker and Dietmar Fey and Karl-Erwin Großpietsch and Christian Hochberger and Erik Maehle and Thomas A. Runkler},
volume = {41},
series = {LNI},
publisher = {GI},
isbn = {3-88579-370-9},
}