Login / Signup

Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation.

Michael BackesChristian JacobiBirgit Pfitzmann
Published in: FME (2002)
Keyphrases
  • web service composition
  • web services composition
  • equivalence relation
  • databases
  • decision trees
  • high level
  • bayesian networks
  • expert systems
  • rough sets
  • parallel implementations