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


Home
References
Investigators
Publications
Related Publications
Objectives

Prototype

SJ, a message-passing library for Java, that supports session types for type-safe concurrent and distributed programming. Also, a comparison of SJ with MPI in the aspects of productivity, safety and performance is given through parallel algorithms.