Please see books/security/jfkr/ for books relevant to the paper,
"An Executable Model for Security Protocol JFKr", by David Rager.

