Autor der Publikation

Verifying compositional equivalence between web service composition graphs.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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