Kerberos Protocol via PRISM

4 views
Skip to first unread message

Seyed Mohammad Mehdi Ahmadpanah

unread,
Jul 31, 2016, 8:10:05 AM7/31/16
to PRISM model checker
Dear all,

How can I model the Kerberos Security Protocol via PRISM?
I want to model it and then verify some key exchange security properties. Can anyone help me?

Thanks,
Mohammad
Reply all
Reply to author
Forward
0 new messages