Set Partition and Trace Based Verification of Web Service Composition. - Gopal N. Rai; G. R. Gangadharan (ANT/SEIT, 2015)

Algebraic Modeling and Verification of Web Service Composition. - Gopal N. Rai; G. R. Gangadharan; Vineet Padmanabhan (ANT/SEIT, 2015)

Modeling and Analyzing Multistage Attacks Using Recursive Composition Algebra. - Ghanshyam S. Bopche; Gopal N. Rai; Babu M. Mehtre; G. R. Gangadharan (ICISS, 2018)

Inter-path Diversity Metrics for Increasing Networks Robustness Against Zero-Day Attacks. - Ghanshyam S. Bopche; Gopal N. Rai; Babu M. Mehtre (SSCC, 2018)

Verifying compositional equivalence between web service composition graphs. - Gopal N. Rai; G. R. Gangadharan (Concurr. Comput. Pract. Exp., 2018)

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 (ICISS, 2019)

A Proximity-Based Measure for Quantifying the Risk of Vulnerabilities. - Ghanshyam S. Bopche; Gopal N. Rai; D. R. Denslin Brabin; Babu M. Mehtre (SSCC, 2019)

Model Checking Based Web Service Verification: A Systematic Literature Review. - Gopal N. Rai; G. R. Gangadharan (IEEE Trans. Serv. Comput., 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)

RcAMA - An Recursive Composition Algebra-based Framework for Detection of Multistage Attacks. - Ghanshyam S. Bopche; Gopal N. Rai; Deepnarayan Tiwari (COMSNETS, 2023)

Boolean Similarity Measure for Assessing Temporal Variation in the Network Attack Surface. - Ghanshyam S. Bopche; Deepnarayan Tiwari; Gopal N. Rai (COMSNETS, 2023)