Formale Sicherheitsanalyse - Ortmeier, Frank 1973- (Logos-Verl., 2006)