DMCA

Computational secrecy by typing for the pi-calculus (2006)

by Martín Abadi , Ricardo Corin , Cédric Fournet
Venue:In Proc. ASIAN Symp. on Programming Languages and Systems
Citations:6 - 0 self