Model checking electronic commerce security protocols based on CTL
2005 ◽
Vol 10
(1)
◽
pp. 333-337
◽
Keyword(s):
2014 ◽
Vol 681
◽
pp. 249-252
Keyword(s):
2005 ◽
Vol 125
(1)
◽
pp. 91-108
◽
1998 ◽
Vol 7
(1)
◽
pp. 1-9
◽
2021 ◽
pp. 1476-1490
2014 ◽
Vol 971-973
◽
pp. 1924-1927
2008 ◽
Vol 40
(3-4)
◽
pp. 91-99
◽