Attack generation from system models
No Thumbnail Available
URL
Journal Title
Journal ISSN
Volume Title
School of Science |
Master's thesis
Checking the digitized thesis and permission for publishing
Instructions for the author
Instructions for the author
Authors
Date
2011
Department
Major/Subject
Tietokoneverkot
Mcode
T-110
Degree programme
Language
en
Pages
vii + 58 s. + liitt. 6
Series
Description
Supervisor
Aura, Tuomas|Probst, Christian W.Keywords
insider, insider problem, real world system, system model, analysable model, static analyses, attack generation