Cooperative Model Reconstruction for Cryptographic Protocols Using Visual Languages
Keyword(s):
2019 ◽
Vol 9
(2)
◽
pp. 247-252
◽
2021 ◽
Vol 22
(3)
◽
pp. 383-394