Cryptographic Protocols Specification and Verification Tools - A Survey

Shinde, Amol H.; Umbarkar, A. J.; Pillai, Nishant

doi:10.21917/ijct.2017.0226

Cited by 5 publications

(1 citation statement)

References 53 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…TLS, Kerberos) protocols are usually verified in less than a second. Moreover, Scyther is currently the fastest protocol verification tool that does not use approximation methods [49].…”

Section: Randomness Evaluationmentioning

confidence: 99%

An Efficient Key Management and Multi-Layered Security Framework for SCADA Systems

Upadhyay

Zaman

Joshi

et al. 2022

IEEE Trans. Netw. Serv. Manage.

View full text Add to dashboard Cite

Supervisory Control and Data Acquisition (SCADA) networks play a vital role in industrial control systems. Industrial organizations perform operations remotely through SCADA systems to accelerate their processes. However, this enhancement in network capabilities comes at the cost of exposing the systems to cyber-attacks. Consequently, effective solutions are required to secure industrial infrastructure as cyber-attacks on SCADA systems can have severe financial and/or safety implications. Moreover, SCADA field devices are equipped with microcontrollers for processing information and have limited computational power and resources. This makes the deployment of sophisticated security features challenging. As a result, effective lightweight cryptography solutions are needed to strengthen the security of industrial plants against cyber threats. In this paper, we have proposed a multi-layered framework by combining both symmetric and asymmetric key cryptographic techniques to ensure high availability, integrity, confidentiality, authentication and scalability. Further, an efficient session key management mechanism is proposed by merging random number generation with a hashed message authentication code. Moreover, for each session, we have introduced three symmetric key cryptography techniques based on the concept of Vernam cipher and a preshared session key, namely, random prime number generator, prime counter, and hash chaining. The proposed scheme satisfies the SCADA requirements of real-time request response mechanism by supporting broadcast, multicast, and point to point communication.

show abstract

“…TLS, Kerberos) protocols are usually verified in less than a second. Moreover, Scyther is currently the fastest protocol verification tool that does not use approximation methods [49].…”

Section: Randomness Evaluationmentioning

confidence: 99%