A simple view of type-secure information flow in the π-calculus (2002)

by F Pottier
Venue:In In Proc. of the 15th IEEE Computer Security Foundations Workshop