Jintian Lu, Yunyi Zhang, Likun Yang, Shuyuan Jin. Inter-cloud secure data sharing and its formal verification. European Transactions on Telecommunications, 33(1), 2022. [doi]
@article{LuZYJ22,
title = {Inter-cloud secure data sharing and its formal verification},
author = {Jintian Lu and Yunyi Zhang and Likun Yang and Shuyuan Jin},
year = {2022},
doi = {10.1002/ett.4380},
url = {https://doi.org/10.1002/ett.4380},
researchr = {https://researchr.org/publication/LuZYJ22},
cites = {0},
citedby = {0},
journal = {European Transactions on Telecommunications},
volume = {33},
number = {1},
}