URL:  https://wwwen.uni.lu/snt/distinguished_lectures/semantics_for_noninterference_security_rhyme_and_reason_november_17_2011 Date:  Tuesday, 05 July 2022, 07:45