Deciding Knowledge in Security Protocols under (Many More) Equational Theories
2010 ◽
Vol 48
(2)
◽
pp. 219-262
◽
2006 ◽
Vol 367
(1-2)
◽
pp. 2-32
◽
2016 ◽
Vol 2
(1)
◽
pp. 78
Keyword(s):
2015 ◽
Vol 17
(1)
◽
pp. 1-45
◽