Type-Based Security for Mobile Computing: Integrity, Secrecy and Liveness


Home
References
Publications
Related Publications
Objectives
Prototype

Investigators

The investigators are: