Formal specification and verification of secure communication protocols
1986 ◽
2017 ◽
Vol 6
(1)
◽
pp. 13
2012 ◽
pp. 231-247
◽