Gopal N. Rai

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