Využití logiky v bezpečnosti IT - Švarný, Petr (2012)
Vedoucí práce: Václav Řepa