Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society

MPI-INF or MPI-SWS or Local Campus Event Calendar

New for: D2, D3, D4, D5
<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Language-Based Information-Flow Security
Speaker:Akram El-Korashy
coming from:International Max Planck Research School for Computer Science - IMPRS
Speakers Bio:Master's student
Event Type:IMPRS Research Seminar
Visibility:D1, D2, D3, D4, D5, SWS, RG1, MMCI
We use this to send out email in the morning.
Level:Public Audience
Date, Time and Location
Date:Monday, 14 December 2015
Duration:30 Minutes
Building:E1 4
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.

Name(s):Stephanie Jörg
Phone:0681 9325 1800
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Attachments, File(s):
  • Stephanie Jörg, 12/14/2015 09:03 AM -- Created document.