Follow
Dipty Tripathi
Dipty Tripathi
Indira Gandhi Delhi Technical University for Women, Delhi
Verified email at itbhu.ac.in
Title
Cited by
Cited by
Year
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
182021
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
62022
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
62021
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
62019
Design Issues in Distributed Software
AK Maurya, D Tripathi, A Biswas, AK Tripathi
2018 Fifth International Conference on Parallel, Distributed and Grid …, 2018
32018
Formalization of business workflow with typed attributed graph
D Tripathi, S Banerjee, A Sarkar
International Journal of Web Information Systems, 00-00, 2018
22018
The system can't perform the operation now. Try again later.
Articles 1–6