From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap
2012 ◽
pp. 3-18
◽
2005 ◽
Vol 125
(1)
◽
pp. 91-108
◽
2008 ◽
Vol 40
(3-4)
◽
pp. 91-99
◽
2009 ◽
Vol 19
(4)
◽
pp. 403-429
◽