Formal analysis and automated validation of privacy-preserving AICE protocol in mobile edge computing
2020 ◽
Vol 19
(3)
◽
pp. 1814-1824
◽
Keyword(s):
2020 ◽
Vol 7
(3)
◽
pp. 818-826
◽
2019 ◽
Vol 6
(3)
◽
pp. 4755-4763
◽
Keyword(s):