Abteilung Sichere und Zuverlässige Softwaresysteme

Teilprojekte

Formale Methoden für die Modellierung und Analyse von mobilen kontextbezogenen Systemen Das Ziel dieses Teilprojekts ist die Entwicklung effizienter Algorithmen für die Auswertung von Anfragen, die von Anwendungen an das Umgebungsmodell über den aktuellen höherwertigen Kontext gestellt werden. Einen Schwerpunkt bilden dabei Autorisierungsanfrangen. Die Algorithmen werden mit Hilfe neuartiger Model-Checking-Techniken entwickelt.

Personen

	Institutsleiter
		Prof. Dr. habil. Javier Esparza
	Wissenschaftliche Mitarbeiter
		Dejvuth Suwimonteerabuth, M.Sc.