<p>This document is the final report to the thesis executed by Henrik Granlund at the University of Linköping. The thesis is a practical assignment which includes an extension of the currently existing modelling tool GOAT. The extension regards to a integration of the internet based security database, the SHIELDS SVRS. The report goes through an overview of how GOAT is designed and later also the parts that has been extended. There after follows a summary and discussion about the work.</p>

This document is the final report to the thesis executed by Henrik Granlund at the University of Linköping. The thesis is a practical assignment which includes an extension of the currently existing modelling tool GOAT. The extension regards to a integration of the internet based security database, the SHIELDS SVRS. The report goes through an overview of how GOAT is designed and later also the parts that has been extended. There after follows a summary and discussion about the work.