Fellah, A., & Mullins, J. Admissible Interference by Typing for Cryptographic Protocols [Communication écrite]. Information and Communications Security. Lien externe