User: Guest  Login
Original title:
Teams as Types 
Original subtitle:
A Formal Treatment of Authorisation in Groupware 
Year:
2001 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Brügge, Bernd (Prof., Ph.D.) 
Referee:
Brügge, Bernd (Prof., Ph.D.); Scott, Dana (Prof. Dr.) 
Format:
Text 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
Groupware; Applications; Verification; Authorisation; HOL 
Translated keywords:
Groupware; Anwendungen; Verifikation; Autorisierung; HOL 
Controlled terms:
Groupware; Autorisierung; HOL 
TUM classification:
DAT 600d 
Abstract:
In the first part of the thesis we present a generic framework called Logos that may serve as a formal basis for investigations of authorisation issues in applications of groupware systems. Logos has been formalised within HOL - a well-known higher-order logic which is supported by a number of wide-spread theorem provers as e.g. Isabelle/HOL.In the second part we present two applications of Logos. First we show, how it can be used to formalise the key authorisation concept of Lotus Notes - the g...    »
 
Translated abstract:
Im ersten Teil der Arbeit stellen wir einen generischen Rahmen namens " Logos" vor, der als formale Grundlage zur Untersuchung von Autorisierungsfragen in Groupwareanwendungen dienen kann. Logos wurde in HOL formalisiert - einer weit verbreiteten Logik höherer Ordnung, die von einer Reihe von bekannten Theorembeweisern (wie z.B. Isabelle/HOL) unterstützt wird.Im zweiten Teil der Arbeit präsentieren wir zwei Anwendungen von Logos. Zunächst zeigen wir, wie Logos verwendet werden kann, um das Kern...    »
 
Publication :
Universitätsbibliothek der TU München 
Oral examination:
21.03.2001 
File size:
1213232 bytes 
Pages:
162 
Last change:
05.03.2008