I think that this is good reading: http://www.pl-enthusiast.net/2015/03/03/noninterference/
I'm pretty sure that if you added a test condition into the underhanded C contest to test for noninterference as part of judging, no one would win. I'm also pretty sure that a system producing programs satisfying both full abstraction and noninterference would produce programs that, by and large, we would agree to be "secure". as long as those pesky labels get applied correctly! ;) _______________________________________________ langsec-discuss mailing list langsec-discuss@mail.langsec.org https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss
