Bridging languagebased and process calculi security (2005)

by Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld
Venue:In Proc. of Foundations of Software Science and Computation Structures (FOSSACS’05), volume 3441 of LNCS