A Calculus for Secure Mobility

Bruno Blanchet

Description

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

• cryptographic primitives


• pi calculus


• diffie-hellman key


• public- key encryption


• university college


• programs being


• ecole normale

Sujets

• Computer
• Blanchet
• Pi calculus
• University College
• École normale

Informations

• Publié par: pefav
• Nombre de lectures: 12
• Langue: English

Extrait

ACalculusforSecureMobility BrunoBlanchet CNRS,E ´ coleNormaleSupe´rieure andMax-Planck-Institutfu¨rInformatik BenjaminAziz ComputerScienceDepartment, UniversityCollegeCork December2003

ecnatsniro 1 f torepresentallsecurityaspectsofnetworkapplications, suchasJavaapplets. s•l • l • a Introduction w Ourgoalistocombine: erfiybsnoitcetorp:snoitacol krowtenehtnotnesgniebsmargorp/sessecorp:ytilibom yhpargotpyrc