Bieber, P., Boulahia Cuppens, N., Lehmann, T., & van Wickeren, E. (1993, June). Abstract Machines for Communication Security [Paper]. 6th Computer Security Foundations Workshop, Franconia, NH, USA. External link