Lecture 5
1
CSP tools for verification of Sec Prot
n
nOverview of the lecture
n
nThe Casper interface
nRefinement checking and FDR
nModel checking
nTheorem proving
nSafe simplifying transformations
n
n
n