Benutzer: Gast  Login
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Originaltitel:
Provably Secure Networks: Methodology and Toolset for Configuration Management
Übersetzter Titel:
Beweisbar sichere Netzwerke: Methodik und Werkzeuge zum Konfigurationsmanagement
Autor:
Diekmann, Cornelius Hermann
Jahr:
2017
Dokumenttyp:
Dissertation
Fakultät/School:
Fakultät für Informatik
Betreuer:
Carle, Georg (Prof. Dr.)
Gutachter:
Carle, Georg (Prof. Dr.); Bellovin, Steven M. (Prof.)
Sprache:
en
Fachgebiet:
DAT Datenverarbeitung, Informatik
Stichworte:
Networks, Security, Firewall, Isabelle/HOL, Access Control, iptables
Übersetzte Stichworte:
Networks, Security, Firewall, Isabelle/HOL, Access Control, iptables
TU-Systematik:
DAT 250d
Kurzfassung:
Network administration is an inherently complex task, in particular with regard to security. Using the Isabelle interactive proof assistant, we develop two automated, formally verified tools which help uncovering and preventing bugs in network-level access control configurations. Our first tool guides the process of designing networks from scratch. Our second tool facilitates the analysis of existing iptables configurations. Combined, the two form a powerful toolset.
Übersetzte Kurzfassung:
Netzwerkadministration ist eine inhärent komplexe Aufgabe, insbesondere im Hinblick auf Sicherheit. Mit dem interaktiven Theorembeweiser Isabelle entwickeln wir zwei automatisierte, formal verifizierte Werkzeuge, welche Fehler in Access-Control-Konfigurationen erkennen und verhindern können. Das erste Werkzeug hilft beim Entwurf neuer Netzwerke, das zweite Werkzeug ermöglicht die Analyse von existierenden iptables-Konfigurationen. Zusammengenommen ergeben sie eine mächtige Werkzeugsammlung.
Serie / Reihe:
Network Architectures and Services
Bandnummer:
NET-2017-07-2
ISBN:
978-3-937201-57-3
WWW:
https://mediatum.ub.tum.de/?id=1350756
Eingereicht am:
28.03.2017
Mündliche Prüfung:
27.07.2017
Dateigröße:
4176129 bytes
Seiten:
280
Urn (Zitierfähige URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20170727-1350756-1-7
Letzte Änderung:
11.09.2017
 BibTeX