Secure Internet Programming: Security Issues for Mobile and ...
Preview
18 19 Martin Abadi, Cédric Fournet, and Georges Gonthier. Secure implementation of channel abstractions. In Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, pages 105~116, June 1998. Martin Abadi ...