Pierre Bieber Nora Boulahia-Cuppens T. Lehmann E. van Wickeren Abstract Machines for Communication Security. 137-146 1993 CSFW db/conf/csfw/csfw1993.html#BieberBLW93