( en | de | ru )

 

Disambiguierung von "Wang, Dejun"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Analysis of SDN Authentication Protocol with Mechanized Protocol Verifier in the Symbolic Model.

, , , , und . Int. J. Netw. Secur., 20 (6): 1125-1136 (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.

Christof Dejung

Mario Dejung

Karl-Heinz Dejung

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylation. Uni Marburg, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

A Workflow-Oriented Scripting Language Based on BPEL4WS., , und . APWeb Workshops, Volume 3842 von Lecture Notes in Computer Science, Seite 690-697. Springer, (2006)A Calculus of Consistent Component-based Software Updates, , , und . CoRR, (2010)Automatic Verification of Remote Internet Voting Protocol in Symbolic Model., , und . J. Networks, 6 (9): 1262-1271 (2011)K-Go: An executable formal semantics of Go language in K framework., , , , , und . IET Blockchain, 3 (2): 61-73 (Juni 2023)Negative ESD robustness of a novel anti-ESD TGFPTD SOI LDMOS., , , , , , und . APCCAS, Seite 1227-1230. IEEE, (2010)Research on Heterogeneous Resource Sharing and Dynamic Allocation Strategy in Campus Grid.. ICFCE, Volume 133 von Advances in Intelligent and Soft Computing, Seite 845-851. Springer, (2011)Diffeomorphism Transformation Based Disturbance Rejection Control and Its Allocation of Vehicle Dynamic Stable Systems., , und . IEEE Access, (2019)A Secure and Policy-Controlled Signature Scheme With Strong Expressiveness and Privacy-Preserving Policy., , , , , und . IEEE Access, (2021)Self-supervised pre-training in photovoltaic systems via supervisory control and data acquisition data., , , , , , , , und . IET Cyper-Phys. Syst.: Theory & Appl., 8 (4): 272-279 (Dezember 2023)Policy2Graph: A Structure-aware Perspective on Constructing Policy Knowledge Graph for Smart Governance., , , , , und . SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta, Seite 2483-2490. IEEE, (2022)