L.Polčák:Architektura a bezpečnost systémů pro zákonné odposlechy; P.Halfar: Bezpečná komunikace v počítačových sítích; G.de Silva: Static Analysis of Network Configurations