>> Security Models

Aus der Reihe "Lasst uns doch mal ein bisschen Theorie machen":


     Zugriffskontroll-Mechanismen
     (a.k.a: es gibt mehr als -rwxr-xr-x)


Aktuelle Betriebssysteme bestehen aus einer kaum ueberschaubaren
Zahl Prozesse und Resourcen. Dabei muss das System staendig
entscheiden, ob eine angeforderte Operation legitim ist.

Erlaubt ein System eine Operation die nicht im Sinne des
Benutzers ist, so kann dies fatale Folgen fuer das haben,
was man "Sicherheit" nennt.


Wir wollen mal ganz grundsaetzlich darueber sprechen, wie
ein System solche Entscheidungen treffen kann -- denn da gibt es
weit mehr als das uns allen bekannte User "XY" darf "Z".

(e.g.: muss es so sein, dass ein Amok laufender Webbrowser die
 .bashrc seines Herrchens umkonfigurieren darf? 
 Kann man das Trojaner-Problem loesen?)

Wir wollen rausfinden was man unter Trusted Computing Base
versteht und was das mit TCPA zu tun hat.

    

>> Die Folien...

• Folien als Postscript
• Folien als PDF

>> Quellen und Weiterfuehrende Texte

• Overview Nr. 1
• Overview Nr. 2
• Motivation der TCSEC Dokumente (a.k.a Rainbow Series)
• TypeEnforcment fuer Unix
• Distributed
• Posix 1003.1e NICHT Standard -- siehe auch http://wt.xpilot.org/publications/posix.1e/
• RoleBasedAccessControl -- ist im Vortag zu kurz gekommen

>> Loesungsvorschlag: Capabilities