Computer Aided Verification of Accountability in Electronic Payment Protocol with CryptoVerif
2011 ◽
Vol 3
(3)
◽
pp. 68-88
2011 ◽
Vol 5
(3)
◽
pp. 67-86
2014 ◽
Vol 6
(5)
◽
pp. 01-22
Keyword(s):
2011 ◽
Vol 3
(4)
◽
pp. 49-65
2012 ◽
Vol 3
(1)
◽
pp. 53
◽