Cryptographic security of reactive systems: (Extended abstract)Birgit PfitzmannMatthias Schunteret al.2000Electronic Notes in Theoretical Computer Science
The SEMPER Framework for Secure Electronic CommerceMatthias SchunterMichael Waidneret al.1999Wirtschaftsinformatik