1 “...This book describes recent multidisciplinary research at the confluence of the fields of logic...”

2 Table of Contents: “... and Refinement Framework for Verifying Security Protocols Based on Logic Programming -- Secure Verification...”

3 “..., computational logic, programming languages and their applications and are organized in topical sections...”