Formal analysis and automated validation of privacy-preserving AICE protocol in mobile edge computing

Author(s):  
Jiaqi Yin ◽  
Huibiao Zhu ◽  
Yuan Fei
2020 ◽  
Vol 7 (3) ◽  
pp. 818-826 ◽  
Author(s):  
Ping Zhao ◽  
Haojun Huang ◽  
Xiaohui Zhao ◽  
Daiyu Huang

2021 ◽  
pp. 101728
Author(s):  
Veronika Stephanie ◽  
M.A.P. Chamikara ◽  
Ibrahim Khalil ◽  
Mohammed Atiquzzaman

2019 ◽  
Vol 6 (3) ◽  
pp. 4755-4763 ◽  
Author(s):  
Xiong Li ◽  
Shanpeng Liu ◽  
Fan Wu ◽  
Saru Kumari ◽  
Joel J. P. C. Rodrigues

2022 ◽  
Vol 98 ◽  
pp. 107692
Author(s):  
Azeem Irshad ◽  
Shehzad Ashraf Chaudhry ◽  
Anwar Ghani ◽  
Ghulam Ali Mallah ◽  
Muhammad Bilal ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document