Page
%P
![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
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...