Simulation based security in the applied pi calculus.

Stéphanie Delaune Steve Kremer Olivier Pereira

Published in: FSTTCS (2009)

Keyphrases

expert systems
information security
artificial intelligence
case study
computer systems
intrusion detection
formal language