A process calculus for privacy-preserving protocols in location-based service systems
2021 ◽
pp. 100735
2017 ◽
Vol 96
(2)
◽
pp. 1973-2007
◽
2019 ◽
Vol 20
(3)
◽
pp. 412
2013 ◽
Vol 8
(6)
◽
pp. 863-873
◽
2015 ◽
Vol 24
(4)
◽
pp. 153-161
◽
2020 ◽
Vol 7
(7)
◽
pp. 6610-6622
◽