summaryrefslogtreecommitdiff
path: root/books/workshops/2009/rager/README
blob: d552fdf8d26d656843ca4381fc50446ea546132d (plain) 
1
2
3

Please see books/security/jfkr/ for books relevant to the paper,
"An Executable Model for Security Protocol JFKr", by David Rager.
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-27 09:01:33 +0000