Name
Abstract | ||
|---|---|---|
With the increasing inter-connection of operation technology to the IT network, the security threat to the Industrial Control System (ICS) is increasing daily. Therefore, it is critical to utilize formal verification technique such as model checking to mathematically prove the correctness of security and safety requirements in the controller logic before it is deployed on the field. However, model checking requires considerable effort for regular ICS users and control technician to verify properties. This paper, provides a simpler approach to the model checking of temperature process control system by first starting with the control module design without formal verification. Second, identifying possible vulnerabilities in such design. Third, verifying the safety and security properties with a formal method.
|
Year | DOI | Venue |
|---|---|---|
2018 | 10.1145/3176258.3176949 | CODASPY |
Field | DocType | ISBN |
Technician,Control theory,Model checking,Software engineering,Computer science,Computer security,Correctness,Industrial control system,Process control,Formal methods,Formal verification | Conference | 978-1-4503-5632-9 |
Citations | PageRank | References |
1 | 0.38 | 5 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Roshan Shrestha | 1 | 7 | 1.91 |
| Hoda Mehrpouyan | 2 | 19 | 6.55 |
| Dianxiang Xu | 3 | 790 | 73.83 |