Gopal N. Rai

According to our database, Gopal N. Rai authored at least 11 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Boolean Similarity Measure for Assessing Temporal Variation in the Network Attack Surface.

Ghanshyam S. Bopche, Deepnarayan Tiwari, Gopal N. Rai

Proceedings of the 15th International Conference on COMmunication Systems & NETworkS, 2023

RcAMA - An Recursive Composition Algebra-based Framework for Detection of Multistage Attacks.

Ghanshyam S. Bopche, Gopal N. Rai, Deepnarayan Tiwari

Proceedings of the 15th International Conference on COMmunication Systems & NETworkS, 2023

2021

Web Service Interaction Modeling and Verification Using Recursive Composition Algebra.

Gopal N. Rai, G. R. Gangadharan, Vineet Padmanabhan, Rajkumar Buyya

IEEE Trans. Serv. Comput., 2021

Model Checking Based Web Service Verification: A Systematic Literature Review.

Gopal N. Rai, G. R. Gangadharan

IEEE Trans. Serv. Comput., 2021

2019

A Proximity-Based Measure for Quantifying the Risk of Vulnerabilities.

Ghanshyam S. Bopche, Gopal N. Rai, D. R. Denslin Brabin, Babu M. Mehtre

Proceedings of the Security in Computing and Communications - 7th International Symposium, 2019

Differential Attack Graph-Based Approach for Assessing Change in the Network Attack Surface.

Ghanshyam S. Bopche, Gopal N. Rai, B. Ramachandra Reddy, Babu M. Mehtre

Proceedings of the Information Systems Security - 15th International Conference, 2019

2018

Verifying compositional equivalence between web service composition graphs.

Gopal N. Rai, G. R. Gangadharan

Concurr. Comput. Pract. Exp., 2018

Inter-path Diversity Metrics for Increasing Networks Robustness Against Zero-Day Attacks.

Ghanshyam S. Bopche, Gopal N. Rai, Babu M. Mehtre

Proceedings of the Security in Computing and Communications - 6th International Symposium, 2018

Modeling and Analyzing Multistage Attacks Using Recursive Composition Algebra.

Ghanshyam S. Bopche, Gopal N. Rai, Babu M. Mehtre, G. R. Gangadharan

Proceedings of the Information Systems Security - 14th International Conference, 2018

2015

Algebraic Modeling and Verification of Web Service Composition.

Gopal N. Rai, G. R. Gangadharan, Vineet Padmanabhan

Proceedings of the 6th International Conference on Ambient Systems, 2015

Set Partition and Trace Based Verification of Web Service Composition.

Gopal N. Rai, G. R. Gangadharan

Proceedings of the 6th International Conference on Ambient Systems, 2015