Autor der Publikation

A Generic Model for Analyzing Security Protocols.

, , , und . MMM-ACNS, Volume 3685 von Lecture Notes in Computer Science, Seite 119-128. Springer, (2005)

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

A Novel Numerical Approach of Computing American Option., , und . Int. J. Found. Comput. Sci., 13 (5): 685-693 (2002)An Effective Data-Driven Cloud Resource Procurement Scheme With Personalized Reserve Prices., , , , , und . IEEE Trans. Syst. Man Cybern. Syst., 51 (8): 4693-4705 (2021)A Simple Process Calculus for the analysis of Security Protocols., , und . PDCAT, Seite 110-114. IEEE Computer Society, (2005)Analysis of Security in Blockchain: Case Study in 51%-Attack Detecting., , , , und . DSA, Seite 15-24. IEEE, (2018)A Faster without Scarifying Accuracy Online Decomposition Approach for Higher-Order Tensors., , , , und . CyberC, Seite 159-166. IEEE, (2017)A Cloud Storage Resource Transaction Mechanism Based on Smart Contract., , und . ICCNS, Seite 134-138. ACM, (2018)Measuring Anonymous Systems with the Probabilistic Applied Pi Calculus., und . ICCSA (2), Volume 5593 von Lecture Notes in Computer Science, Seite 605-620. Springer, (2009)Decentralized Transaction Mechanism Based on Smart Contract in Distributed Data Storage., , , , und . Information, 9 (11): 286 (2018)A Generic Model for Analyzing Security Protocols., , , und . MMM-ACNS, Volume 3685 von Lecture Notes in Computer Science, Seite 119-128. Springer, (2005)Game Theoretic Analysis of Workload Factoring in Federation of Clouds., und . GreenCom/iThings/CPScom, Seite 1098-1102. IEEE, (2013)