Attack generation from system models

Thumbnail Image

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

Authors

Date

2011

Department

Tietotekniikan laitos

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

Other note

Citation

Permanent link to this item

https://urn.fi/URN:NBN:fi:aalto-2020122358336

Collections

[dipl] Perustieteiden korkeakoulu / SCI