|
|
|
|
|
Tao Feng, Taining Chen and Xiang Gong
This paper presents a formal security analysis of the ISA100.11a standard protocol using the Colored Petri Net (CPN) modeling approach. Firstly, we establish a security threat model for the ISA100.11a protocol and provide a detailed description and analy...
ver más
|
|
|
|
|
|
|
|
|
|
|
Mingyuan Huang, Dawei Cheng, Jia Zhou and Zhong Lu
Traditional reliability analysis methods such as Reliability Block Diagram, Fault Tree Analysis, and Markov Analysis are all subjective methods whose results significantly depend on the analysts? skills and experiences. A model-based reliability method i...
ver más
|
|
|
|
|
|
|
|
|
|
|
Tao Feng, Chengfan Liu, Xiang Gong and Ye Lu
The integration of buses in industrial control systems, fueled by advancements such as the Internet of Things (IoT), has led to their widespread adoption, significantly enhancing operational efficiency. However, with the increasing interconnection of sys...
ver más
|
|
|
|
|
|
|
|
|
|
|
Nivedita Nukavarapu and Surya Durbha
During an urban flooding scenario, Healthcare Critical Infrastructure (HCI) represents a critical and essential resource. As the flood levels rise and the existing HCI facilities struggle to keep up with the pace, the under-preparedness of most urban cit...
ver más
|
|
|
|
|
|
|
|
|
|
|
Ziyun Deng, Lei Chen, Tingqing He and Tao Meng
In order to develop a Supercomputing Cloud Platform (SCP) prototype system using Service-Oriented Architecture (SOA) and Petri nets, we researched some technologies for Web service composition. Specifically, in this paper, we propose a reliability calcul...
ver más
|
|
|
|
|
|