Jingquan Ding, Xiao Li, Yunchuan Guo, Lihua Yin, Huibing Zhang. Process Calculus for Modeling and Quantifying Location Privacy. In Rongfang Bie, Yunchuan Sun, Jiguo Yu, editors, 2018 International Conference on Identification, Information and Knowledge in the Internet of Things, IIKI 2018, Beijing, China, October 19-21, 2018. Volume 147 of Procedia Computer Science, pages 407-415, Elsevier, 2018. [doi]
Abstract is missing.