Institut für Informatik
Filtern
Erscheinungsjahr
- 2008 (14) (entfernen)
Dokumenttyp
- Ausgabe (Heft) zu einer Zeitschrift (6)
- Studienarbeit (4)
- Diplomarbeit (2)
- Dissertation (1)
- Masterarbeit (1)
Schlagworte
- VNUML (2)
- Bluetooth (1)
- CTI (1)
- Computer Security (1)
- Computersicherheit (1)
- Conference (1)
- Counting-to-Infinity (1)
- DHCPv6 (1)
- Distanz-Vektor (1)
- Dokumentation (1)
- Entscheidungsprozess (1)
- Formal Methods (1)
- Formale Methoden (1)
- HNF-Algorithmus (1)
- Hermite-Normalform (1)
- Human-Computer Interaction (1)
- IPv6 (1)
- Intelligent Information Network (1)
- Mail-Filter (1)
- Mensch-Maschine-Interaktion (1)
- Metriken (1)
- Mobile Information Systems (1)
- Netzwerksimulation (1)
- RDF modeling (1)
- RIP (1)
- RIP-MTI (1)
- Robocup 2008 (1)
- Routing-Loop (1)
- SAC (1)
- SPARQL (1)
- Semantic Web (1)
- Soziale Netzwerke (1)
- Spam-Mail (1)
- TAP (1)
- UML (1)
- Vegetation distribution (1)
- grassland (1)
- personal information management (1)
- persönliches Informationsmanagement (1)
- semantic desktop (1)
- semantischer Desktop (1)
- simulation (1)
- summative evaluation (1)
- vegetation modeling (1)
Institut
- Institut für Informatik (14)
- Fachbereich 4 (5)
In dieser Dissertation wird eine Verfahrensweise für die formale Spezifikation und Verifikation von Benutzerschnittstellen unter Sicherheitsaspekten vorgestellt. Mit dieser Verfahrensweise können beweisbar sichere Benutzerschnittstellen realisiert werden. Die Arbeit besteht aus drei Teilen. Im ersten Teil wird eine Methodologie für die formale Beschreibung von Mensch-Maschine-Interaktion entwickelt. Im zweiten Teil werden gängige Computersicherheitskonzepte für die Mensch-Maschine-Interaktion angepasst und mit den im ersten Teil entwickelten Methoden formalisiert. Dabei wird ein generisches formales Modell von Mensch-Maschine-Interaktion erstellt. Im dritten Teil wird die Methodologie, die in den ersten beiden Teilen entwickelt wurde, an einem sicheren Email-Client als exemplarischen Anwendungsprogramm demonstriert.