URL:  https://wwwfr.uni.lu/snt/distinguished_lectures/semantics_for_noninterference_security_rhyme_and_reason_november_17_2011 Date:  mercredi 22 septembre 2021 17:38:45