A Calculus for Secure Mobility
26
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe en t'inscrivant gratuitement
Découvre YouScribe en t'inscrivant gratuitement
26
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
A Calculus for Secure Mobility Bruno Blanchet CNRS, Ecole Normale Superieure and Max-Planck-Institut fur Informatik Benjamin Aziz Computer Science Department, University College Cork December 2003
Voir
- cryptographic primitives
- pi calculus
- diffie-hellman key
- public- key encryption
- university college
- programs being
- ecole normale
ACalculusforSecureMobilityBrunoBlanchetCNRS,E´coleNormaleSupe´rieureandMax-Planck-Institutfu¨rInformatikBenjaminAzizComputerScienceDepartment,UniversityCollegeCorkDecember2003
