Zobrazeno 1 - 10
of 46
pro vyhledávání: '"Zhang, Xieli"'
Publikováno v:
In Computers & Security February 2025 149
Publikováno v:
In Computer Networks September 2024 251
Publikováno v:
In Engineering Structures 1 August 2021 240
Publikováno v:
网络与信息安全学报, Vol 7, Iss 5, Pp 93-104 (2021)
Symbolic execution can comprehensively analyze program execution space in theory, but it is not feasible in practice for large programs like security protocols, due to the explosion of path space and the limitation of difficulty in solving path const
Externí odkaz:
https://doaj.org/article/1644afa5aed24c1da58a82a4ce897b57
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
You, Aimei1 (AUTHOR), Zhang, Xieli1 (AUTHOR), Peng, Xiao2 (AUTHOR), Dong, Kai2 (AUTHOR) dongkai@binn.cas.cn, Lu, Yuyuan3 (AUTHOR) yylu@ciac.ac.cn, Zhang, Qiang1 (AUTHOR) qiang.zhang@ciac.ac.cn
Publikováno v:
Macromolecular Materials & Engineering. Aug2021, Vol. 306 Issue 8, p1-9. 9p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.