Media type: Electronic Thesis; Doctoral Thesis; E-Book Title: A framework for modelling and testing of security policies Contributor: Brügger, Lukas Alexander [Author] imprint: ETH, 2012 Language: English DOI: https://doi.org/20.500.11850/58551; https://doi.org/10.3929/ethz-a-007575139 Keywords: TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING) ; computer science ; SYSTEMMANAGEMENT + SYSTEMADMINISTRATION (MANAGEMENT VON COMPUTERSYSTEMEN) ; SYSTEM MANAGEMENT + SYSTEM ADMINISTRATION (MANAGEMENT OF COMPUTER SYSTEMS) ; TESTING + DEBUGGING (SOFTWARE ENGINEERING) ; VERIFICATION (SOFTWARE ENGINEERING) ; VERIFIKATION (SOFTWARE ENGINEERING) ; Data processing Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access Rights information: In Copyright - Non-commercial Use Permitted