Security Analysis Based On Petri Net For Separation Mechanisms In Smart Identifier Network
Linyuan Yao,Ping Dong,Xiaojiang Du,Hongke Zhang
DOI: https://doi.org/10.1109/ICCCN.2017.8038510
2017-01-01
Abstract:Due to the widespread research on Smart Identifier NETwork (SINET), its security has received much attention recently. But most of those attempts consider SINET security from the specific attack perspective. To the best of our knowledge, none so far has paid attention to the security analysis and modeling of separation mechanisms in SINET. Therefore, this paper provides a different approach to security analysis based on Petri net. Our objective is to analyze the separation mechanisms security via the combination of model and state. This method represents the network structure and state transferring by way of Petri net. In addition, it introduces the security analysis method of tokens to explore the potential threatens. Finally, we analyze SINET via the combination of the number, logic, and time series of tokens in Petri net, and present the results. Our results are very promising in using such models to achieve such security objectives.