Easy Intruder Deductions.

Hubert Comon-Lundh Ralf Treinen

Published in: Verification: Theory and Practice (2003)

Keyphrases

real world
information technology
neural network
website
natural language
preprocessing
domain knowledge