Summary

• Cryptographic protocol flaws

• Early results and techniques

• BAN logic

• Model checking and inductive verification

Previous slide

Next slide

Back to first slide

View graphic version