Research of the real-time performance of operating system

  • Authors:

  • Shen Jun;Wu Qiang;Li Xuwen;Zhang Yanhua

  • Affiliations:

  • College of Electronic and Control Engineering, Beijing University of Technology, Beijing, China;College of Electronic and Control Engineering, Beijing University of Technology, Beijing, China;College of Life Science and Bio-engineering, Beijing University of Technology, Beijing, China;College of Electronic and Control Engineering, Beijing University of Technology, Beijing, 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 ...