Author of the publication

Verifying compositional equivalence between web service composition graphs.

, and . Concurrency and Computation: Practice and Experience, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Modeling and Analyzing Multistage Attacks Using Recursive Composition Algebra., , , and . ICISS, volume 11281 of Lecture Notes in Computer Science, page 67-87. Springer, (2018)Algebraic Modeling and Verification of Web Service Composition., , and . ANT/SEIT, volume 52 of Procedia Computer Science, page 675-679. Elsevier, (2015)Inter-path Diversity Metrics for Increasing Networks Robustness Against Zero-Day Attacks., , and . SSCC, volume 969 of Communications in Computer and Information Science, page 53-66. Springer, (2018)Set Partition and Trace Based Verification of Web Service Composition., and . ANT/SEIT, volume 52 of Procedia Computer Science, page 278-285. Elsevier, (2015)Verifying compositional equivalence between web service composition graphs., and . Concurrency and Computation: Practice and Experience, (2018)Differential Attack Graph-Based Approach for Assessing Change in the Network Attack Surface., , , and . ICISS, volume 11952 of Lecture Notes in Computer Science, page 324-344. Springer, (2019)