Model based security verification of Cyber-Physical System based on Petrinet: A case study of Nuclear power plant D Tripathi, LK Singh, AK Tripathi, A Chaturvedi Annals of Nuclear Energy 159, 108306, 2021 | 23 | 2021 |
An integrated approach of designing functionality with security for distributed cyber-physical systems D Tripathi, A Biswas, AK Tripathi, LK Singh, A Chaturvedi The Journal of Supercomputing, 1-33, 2022 | 10 | 2022 |
Towards analyzing the impact of intrusion prevention and response on cyber-physical system availability: A case study of NPP D Tripathi, AK Tripathi, LK Singh, A Chaturvedi Annals of Nuclear Energy, 108863, 2021 | 9 | 2021 |
A Study of Security Modeling Techniques for Smart Systems D Tripathi, AK Maurya, A Chaturvedi, AK Tripathi 2019 International Conference on Machine Learning, Big Data, Cloud and …, 2019 | 6 | 2019 |
Design Issues in Distributed Software AK Maurya, D Tripathi, A Biswas, AK Tripathi 2018 Fifth International Conference on Parallel, Distributed and Grid …, 2018 | 3 | 2018 |
Formalization of business workflow with typed attributed graph D Tripathi, S Banerjee, A Sarkar International Journal of Web Information Systems, 00-00, 2018 | 3 | 2018 |