Login / Signup

A General Composition Theorem for Secure Reactive Systems.

Michael BackesBirgit PfitzmannMichael Waidner
Published in: TCC (2004)
Keyphrases
  • reactive systems
  • special case
  • expert systems