Proof carrying authorization in ML5

Romain Brenguier

Internship report

April - August 2008

Supervisor : Frank Pfenning





brenguier 2008-08-25