Bridging Language-Based and Process Calculi Security.

Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld

Browse the full FOSSACS paper archive.