Source: http://lacl.univ-paris12.fr/cegielski/master/FondementsSecuriteInformatique2017.pdf