Sign in

Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06).

Pierpaolo DeganoRalf KüstersLuca ViganòSteve Zdancewic
Published in: Inf. Comput. (2008)
Keyphrases
  • automated reasoning
  • computer security
  • artificial intelligence
  • intrusion detection
  • security protocols
  • data analysis
  • databases
  • information security
  • theorem proving
  • network intrusion detection