Type-Based Security for Mobile Computing: Integrity, Secrecy and Liveness
The Project was funded by the EPSRC, GR/T03208/01 and GR/T03215/01.