1. Dynamic networks and cyber‐security;Adams N.;Security Science and Technology,2016
2. Böhme R. Laube S. Riek M.(2018).A fundamental approach to cyber‐risk analysis. Report Universität Innsbruck Innsbruck.
3. On abstract computer virology from a recursion theoretic perspective;Bonfante G.;Journal in Computer Virology,2006
4. 12 Modal mu-calculi