Campus Event Calendar
Event Entry
New for: D2, D3, D4, D5
What and Who
Language-Based Information-Flow Security
Akram El-Korashy
International Max Planck Research School for Computer Science - IMPRS
IMPRS Research Seminar
Master's student
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI
Public Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Monday, 14 December 2015
12:00
30 Minutes
E1 4
024
Saarbrücken
Abstract
Conventional security mechanisms such as access control and encryption
do not directly address the enforcement of information-flow policies.
Semantics-based models are suitable for describing end-to-end policies
such as noninterference and its extensions.
The talk is a survey based on the article by Sabelfeld et. al. from 2003,
and others.
The goal of the talk is to introduce the general idea of semantics-based
security, discuss the computability-theoretic aspect, and show different
security goals to which this model is applicable.
do not directly address the enforcement of information-flow policies.
Semantics-based models are suitable for describing end-to-end policies
such as noninterference and its extensions.
The talk is a survey based on the article by Sabelfeld et. al. from 2003,
and others.
The goal of the talk is to introduce the general idea of semantics-based
security, discuss the computability-theoretic aspect, and show different
security goals to which this model is applicable.
Contact
Stephanie Jörg
0681 9325 1800
--email hidden
passcode not visible
logged in users only
Stephanie Jörg, 12/14/2015 09:03 -- Created document.