Formal Analysis of Graphical Security Models
Posted: December 19, 2016
Title | Formal Analysis of Graphical Security Models |
Publication Type | Thesis |
Year of Publication | 2016 |
Authors | Aslanyan Z. |
Date Published | October |
University | Technical University of Denmark |
City | Lyngby, Denmark |
Thesis Type | phd |