Reading Group/Seminar: Runtime Monitoring

Organizer:

Prof. Dr. Heiko Mantel

Registration:

closed

Preparation Meeting:

Wednesday, October 19, 2011, 16:15 in room S2|02/E302

Form:

regular meetings, roughly every two weeks, Thursdays 12:30-14:00

Topics

• Security policies for usage control
• Runtime monitoring and different enforcement mechanisms for security
• Formal models and security guarantees
• Implementations and optimizations

Additional Information

Check the internal page, using the credentials given out at the preparation meeting.

Last modified on 22 October 2012.