Formal Analysis of Graphical Security Models

TitleFormal Analysis of Graphical Security Models
Publication TypeThesis
Year of Publication2016
AuthorsAslanyan Z.
Date PublishedOctober
UniversityTechnical University of Denmark
CityLyngby, Denmark
Thesis Typephd