|
Instructors: Prof. Dr.-Ing. Heiko Mantel
Event type:
Seminar
Org-unit: Dept. 20 - Computer Science
Displayed in timetable as:
Current Topics in Us
Subject:
Crediting for:
Hours per week:
2
Credits:
3,0
Language of instruction:
Englisch
Min. | Max. participants:
- | -
Course Contents:
When treating confidential data, regulations claiming that the access to the data should be limited and controlled usually have to be considered. One way to formulate these regulations are access control policies (e.g. Chinese Wall). Usage control policies even go beyond access control policies by not only constraining the sets of access rights but also the terms of usage (e.g. for what purpose, how often, during which time period). In the presence of such regulations, the need for developing appropriate mechanisms to enforce security policies arises, especially in the context of untrusted code.
In this seminar, current research papers capturing security policy languages, static verification of policy conformance prior to program execution, and runtime enforcement mechanisms will be presented.
Literature:
will be announced during the preparation meeting
Preconditions:
Knowledge of Computer Science and Mathematics, equivalent to the first four Semesters in the Computer Science Bachelor program, in particular the ability to use formal languages and calculi.
Expected Number of Participants:
Further Grading Information:
see http://www.mais.informatik.tu-darmstadt.de/Teaching, in particular regarding information on registration as well as time and place of the preparation meeting
Official Course Description:
|
