Cryptographic security of reactive systems: (Extended abstract)Birgit PfitzmannMatthias Schunteret al.2000Electronic Notes in Theoretical Computer Science