author = { Brügger, Lukas Alexander Basin, David A. AND Müller, Peter },

title = { A framework for modelling and testing of security policies },

publisher = {ETH},

keywords = { SYSTEMMANAGEMENT + SYSTEMADMINISTRATION (MANAGEMENT VON COMPUTERSYSTEMEN) , VERIFICATION (SOFTWARE ENGINEERING) , TESTING + DEBUGGING (SOFTWARE ENGINEERING) , Data processing , VERIFIKATION (SOFTWARE ENGINEERING) , SYSTEM MANAGEMENT + SYSTEM ADMINISTRATION (MANAGEMENT OF COMPUTER SYSTEMS) , TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING) , computer science },

year = {2012},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }