Gopal N. Rai

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 9

Top Topics

Web Services Composition

Top Venues

IEEE Trans. Serv. Comput.

Publications

Ghanshyam S. Bopche, Deepnarayan Tiwari, Gopal N. Rai
Boolean Similarity Measure for Assessing Temporal Variation in the Network Attack Surface. COMSNETS (2023)
Ghanshyam S. Bopche, Gopal N. Rai, Deepnarayan Tiwari
RcAMA - An Recursive Composition Algebra-based Framework for Detection of Multistage Attacks. COMSNETS (2023)
Gopal N. Rai, G. R. Gangadharan, Vineet Padmanabhan, Rajkumar Buyya
Web Service Interaction Modeling and Verification Using Recursive Composition Algebra. IEEE Trans. Serv. Comput. 14 (1) (2021)
Gopal N. Rai, G. R. Gangadharan
Model Checking Based Web Service Verification: A Systematic Literature Review. IEEE Trans. Serv. Comput. 14 (3) (2021)
Ghanshyam S. Bopche, Gopal N. Rai, B. Ramachandra Reddy, Babu M. Mehtre
Differential Attack Graph-Based Approach for Assessing Change in the Network Attack Surface. ICISS (2019)
Ghanshyam S. Bopche, Gopal N. Rai, D. R. Denslin Brabin, Babu M. Mehtre
A Proximity-Based Measure for Quantifying the Risk of Vulnerabilities. SSCC (2019)
Gopal N. Rai, G. R. Gangadharan
Verifying compositional equivalence between web service composition graphs. Concurr. Comput. Pract. Exp. 30 (16) (2018)
Ghanshyam S. Bopche, Gopal N. Rai, Babu M. Mehtre, G. R. Gangadharan
Modeling and Analyzing Multistage Attacks Using Recursive Composition Algebra. ICISS (2018)
Ghanshyam S. Bopche, Gopal N. Rai, Babu M. Mehtre
Inter-path Diversity Metrics for Increasing Networks Robustness Against Zero-Day Attacks. SSCC (2018)
Gopal N. Rai, G. R. Gangadharan, Vineet Padmanabhan
Algebraic Modeling and Verification of Web Service Composition. ANT/SEIT (2015)
Gopal N. Rai, G. R. Gangadharan
Set Partition and Trace Based Verification of Web Service Composition. ANT/SEIT (2015)