Study Thesis
Refine
Year of publication
- 2010 (2) (remove)
Document Type
- Study Thesis (2) (remove)
Language
- German (2) (remove)
Keywords
- Automatisches Beweisverfahren (1)
- Computational logic (1)
- E-KRHyper (1)
- Heuristiken (1)
- Klausellogik (1)
- Network (1)
- Netzwerk (1)
- Netzwerk Protokollen (1)
- Protocol (1)
- Prädikatenlogik (1)
Institute
- Institut für Informatik (2) (remove)
In this work, some network protocols with Wireshark Protokollanalyser should be observed and described the deal with them. Wireshark is an offshoot of "Ethereal", one of the most popular protocol analyzer. Wireshark analysis network traffic, draws on it and make it clear . For the simulation of the network is used VNUML. Since VNUML can only be used under Linux, andLinux is running as a virtual machine in between to work in Windows to be able to.
Diese Arbeit behandelt verschiedene Ansätze zur Ermittlung einer Heuristik, welche zur Bestimmung einer optimalen Konfiguration des Theorembeweisers E-KRHyper eingesetzt werden soll. Es wird erläutert, wie der Beweiser durch eine angepasste Voreinstellung optimiert werden kann und die erarbeiteten Ansätze zur Ermittlung dieser Voreinstellung werden vorgestellt. Anhand der erzielten Ergebnisse werden die Ansätze anschließend bewertet und für eines der vorgestellten Verfahren wird außerdem eine Idee zur Implementierung vorgestellt.