Algebraic modeling and verification of web service composition GN Rai, GR Gangadharan, V Padmanabhan Procedia computer science 52, 675-679, 2015 | 24 | 2015 |
Web service interaction modeling and verification using recursive composition algebra GN Rai, GR Gangadharan, V Padmanabhan, R Buyya IEEE Transactions on Services Computing 14 (1), 300-314, 2018 | 17 | 2018 |
Model Checking Based Web Service Verification: A Systematic Literature Review GN Rai, GR Gangadharan IEEE Transactions on Services Computing, 2018 | 5 | 2018 |
Set partition and trace based verification of web service composition GN Rai, GR Gangadharan Procedia Computer Science 52, 278-285, 2015 | 5 | 2015 |
A Proximity-based Measure for Quantifying the Risk of Vulnerabilities BMM Ghanshyam S. Bopche, Gopal N. Rai, D. R. Denslin Brabin International Symposium on Security in Computing and Communications, 2019 | 3 | 2019 |
Modeling and analyzing multistage attacks using recursive composition algebra GS Bopche, GN Rai, BM Mehtre, GR Gangadharan International Conference on Information Systems Security, 67-87, 2018 | 2 | 2018 |
Algebraic Modeling and Verification of Web Service Composition GNR VineetPadmanabhan, GR Gangadharan Elsevier, Procedia Computer Science 52, 675-679, 2015 | 2 | 2015 |
Differential Attack Graph-Based Approach for Assessing Change in the Network Attack Surface GS Bopche, GN Rai, B Ramchandra Reddy, BM Mehtre International Conference on Information Systems Security, 324-344, 2019 | 1 | 2019 |
Inter-path diversity metrics for increasing networks robustness against zero-day attacks GS Bopche, GN Rai, BM Mehtre Security in Computing and Communications: 6th International Symposium, SSCC …, 2019 | 1 | 2019 |
Verifying Compositional Equivalence Between Web Service Composition Graphs GN Rai, GR Gangadharan Concurrency and Computation: Practice and Experience, 2018 | 1 | 2018 |
Architectural Characterization of Web Service Interaction Verification GN Rai, GR Gangadharan Proceedings of 3rd International Conference on Advanced Computing …, 2016 | 1 | 2016 |