The Security Protocol Verifier ProVerif and its Horn Clause Resolution Algorithm.

Published in: HCVS/VPT@ETAPS (2022)

Keyphrases

learning algorithm
artificial immune algorithm
security protocols
horn clauses
domain knowledge
probabilistic model
logic programs
cost effective