Modeling and verifying EPC network intrusion system based on timed automata

@article{Sun2015ModelingAV,
  title={Modeling and verifying EPC network intrusion system based on timed automata},
  author={Yan Sun and Tin Yu Wu and Xiaoqiong Ma and Han-Chieh Chao},
  journal={Pervasive and Mobile Computing},
  year={2015},
  volume={24},
  pages={61-76}
}
Nowadays, the EPC network has been gradually popularized to manufacturing intelligent, retailing and logistics. Due to the widespread use of EPC networks, the security problem therefore, becomes particularly important. In order to obtain the proper defense strategy, we propose a modeling method for EPC network intrusion system. First, we describe the… CONTINUE READING