( en | de | ru )

 

Disambiguation of "Wang, Dejun"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Analysis of SDN Authentication Protocol with Mechanized Protocol Verifier in the Symbolic Model.

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

Christof Dejung

Mario Dejung

Karl-Heinz Dejung

Wang Wang

Linfang Wang

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

Other publications of authors with the same name

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