Non Interference Property, Marwan Burelle, LSE Week 2013
Channel: lseepita
Date: 05/08/2013

Based on trace-theory approach, the non-interference property is a fundamental property used in field like parallelism or language level security. This talk will be a walk through techniques used in theoretical information flow security and a little introduction to a use in parallel programming

Slides : http://lse.epita.fr/lse-summer-week-2013/slides/lse-summer-week-2013-01-Marwan%20Burelle-The%20Non-Interference%20Property.pdf