URL:  https://wwwfr.uni.lu/snt/distinguished_lectures/automated_validation_of_trust_and_security_of_service_oriented_architectures_june_16_2011 Date:  dimanche 20 septembre 2020 03:13:10