Modely pre analýzu bezpečnosti počítačových zabezpečovacích systémov : Habilitačná práca - Rástočný, Karol (Žilinská univerzita, 1998)