Page
%P
-
Chapter and Conference Paper
Prolog-Based Formal Reasoning for Security Protocols
This paper introduces a security reachability analysis model based on the strand space theory and the constraint elimination method. A prolog-based automatic reasoning scheme is then proposed. At last, the rea...