Login / Signup
On BAN logic and hash functions or: how an unjustified inference rule causes problems.
Wouter Teepe
Published in:
Auton. Agents Multi Agent Syst. (2009)
Keyphrases
</>
inference rules
hash functions
formal analysis
data sets
artificial intelligence
similarity search
data distribution
theorem prover