A new scheme of LBS privacy protection

  • Authors:
  • Tang Ming;Qianhong Wu;Zhang Guoping;He Lili;Zhang Huan-guo

  • Affiliations:
  • State Key Lab. of AIS&TC, Ministry of Education, Wuhan University, Wuhan, China and School of Computer, Wuhan University, Wuhan, China;State Key Lab. of AIS&TC, Ministry of Education, Wuhan University, Wuhan, China and School of Computer, Wuhan University, Wuhan, China;709th Institute, Wuhan, Wuhan, China;SuZhou Dejax Information Technology Co., Ltd., Suzhou, China;State Key Lab. of AIS&TC, Ministry of Education, Wuhan University, Wuhan, China and School of Computer, Wuhan University, Wuhan, China

  • Venue:
  • WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

Non-repudiation service is crucial to electronic commerce. We have made some research of ATL logic method and its applications in multi-party security protocols formalized analysis. A typical multi-party non-repudiation protocol is modeled and analyzed ...