A Note on the Perfect Encryption Assumption in a Process Calculus.

Roberto Zunino, Pierpaolo Degano

Browse the full FOSSACS paper archive.