@inproceedings{ea65294a9cbf45bcadc379245894cde6,
title = "Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra",
abstract = "The security protocol is proposed as a security solution for end-to-end communication between smart grid applications in the EU FP7 project C-DAX. Since the importance and widespread use of the security protocol, it is of great significance to formally analyze and verify relevant security properties of this security protocol. In this paper, we apply Communicating Sequential Processes (CSP) to model the security protocol. Further, we use the model checker Process Analysis Toolkit (PAT) to automatically simulate the developed model, and verify whether the model caters for the specification and relevant secure properties, e.g. reachability of the fake goal. Our modeling and verification show that a risk may exist in the security protocol.",
keywords = "C-DAX, Formalization, The Security Protocol, Verification",
author = "Ailun Liu and Huibiao Zhu and Yuan Fei and Shuangqing Xiang and Gang Lu and Wanling Xie",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017 ; Conference date: 04-07-2017 Through 08-07-2017",
year = "2017",
month = sep,
day = "7",
doi = "10.1109/COMPSAC.2017.170",
language = "英语",
series = "Proceedings - International Computer Software and Applications Conference",
publisher = "IEEE Computer Society",
pages = "39--44",
editor = "Claudio Demartini and Thomas Conte and Motonori Nakamura and Chung-Horng Lung and Zhiyong Zhang and Kamrul Hasan and Sorel Reisman and Ling Liu and William Claycomb and Hiroki Takakura and Ji-Jiang Yang and Edmundo Tovar and Stelvio Cimato and Ahamed, \{Sheikh Iqbal\} and Toyokazu Akiyama",
booktitle = "Proceedings - 2017 IEEE 41st Annual Computer Software and Applications Conference, COMPSAC 2017",
address = "美国",
}
