A simple view of type-secure information flow in the /spl pi/-calculus | IEEE Conference Publication | IEEE Xplore