Improving Security in SCADA Systems through Model-checking with TLA+

Obeidat, Nawar; Purdy, Carla

doi:10.1109/mwscas47672.2021.9531766

Cited by 1 publication

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The article [52] discusses the importance of securing Supervisory Control and Data Acquisition (SCADA) networks due to their critical tasks, such as managing infrastructure and controlling automated systems. The article describes a project that focuses on designing security into a cybersecurity testbed at the University of Cincinnati using formal specifications.…”

Section: Formal Methodsmentioning

confidence: 99%

Durna: Achieving Cloud of Clouds by integrating Blockchain and Software Defined Storage

Dinparast,

Mohasefi,

Javan

et al. 2024

Preprint

View full text Add to dashboard Cite

This paper proposes a new architecture which addresses the challenge of creating a unified storage cloud out of multiple independent cloud storage by developing a decentralized configuration management system named Durna. Durna integrates blockchain and software defined storage technologies and creates a unified decentralized service while preserving each autonomous unit independent. Durna is capable of generating, distributing, and applying configuration files among nodes in the storage network in a stable, and decentralized manner. By achieving this, the software defined storage gains the decentralized management capability, while still benefiting from its established capabilities in guaranteeing storage service quality. To ensure the system's effectiveness and prevent unforeseen problems, a formal model of the decentralized configuration management system was created and evaluated using model-checking. At the end, we discussed our experience of deploying the primitive Durna hyper-cloud system.

show abstract

Section: Formal Methodsmentioning

confidence: 99%

Durna: Achieving Cloud of Clouds by integrating Blockchain and Software Defined Storage

Dinparast,

Mohasefi,

Javan

et al. 2024

Preprint

View full text Add to dashboard Cite

show abstract

Improving Security in SCADA Systems through Model-checking with TLA+

Cited by 1 publication

References 7 publications

Durna: Achieving Cloud of Clouds by integrating Blockchain and Software Defined Storage

Durna: Achieving Cloud of Clouds by integrating Blockchain and Software Defined Storage

Contact Info

Product

Resources

About

Improving Security in SCADA Systems through Model-checking with TLA+

Cited by 1 publication

References 7 publications

​Durna: Achieving Cloud of Clouds by integrating Blockchain and Software Defined Storage

​Durna: Achieving Cloud of Clouds by integrating Blockchain and Software Defined Storage

Contact Info

Product

Resources

About

Durna: Achieving Cloud of Clouds by integrating Blockchain and Software Defined Storage

Durna: Achieving Cloud of Clouds by integrating Blockchain and Software Defined Storage