( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Analysis of SDN Authentication Protocol with Mechanized Protocol Verifier in the Symbolic Model.

, , , , и . 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.

Christof Dejung

Mario Dejung

Karl-Heinz Dejung

Wang Wang

Linfang Wang

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

Другие публикации лиц с тем же именем

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