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. |