|
Operating Systems Security
26.09.2001
Foredragsholdere
Hermann Härtig
Abstract:
Secure operating systems need to have at least these properties:
allow the combination of applications with very high security requirements with applications of completely unknown origin and behaviour
support legacy applications without changes
support flexible sandboxing
have a security base small enough such that it can be completely controlled by a small group of people.
While no currently available system seems to have these properties, the operating systems technology is there to build one. The talk claims that the proper combination of
micro-kernel technology and tunneling
resource management techniques
crytographic capabilities
secure booting
and virtual machines
allows us to build a system with potential for much higher security requirements than those available presently.
Biography:
Hermann Härtig is a professor since 1994 at Dresden University of Technology, Germany. His research interests include operating system support for multimedia systems, µ-kernel-based operating systems, real-time operating systems, and security in operating systems. He graduated from the University of Karlsruhe (PhD 1984). From 1984 until 1994 he was the principle developer of the BirliX Operating System at GMD(German National Research Center for Information Technology). He has had extended visits at the International Computer Science Institute in Berkeley, UNSW in Sydney, Hebrew University in Jerusalem, MIT in Boston, and the University of Hildesheim.
Alle interesserte er hjertelig velkomne til å delta på foredraget. Eventuelle spørsmål i tilknytning til foredraget ved Institutt for informatikk kan rettes til førsteamanuensis Otto Anshus, tlf 7764 4038.
|
