Zobrazeno 1 - 10
of 71
pro vyhledávání: '"Gu, Chunxiang"'
Publikováno v:
In Computers & Security February 2025 149
Publikováno v:
In Computer Networks September 2024 251
Autor:
Wang, Xiangbin, Yuan, Qingjun, Wang, Yongjuan, Gou, Gaopeng, Gu, Chunxiang, Yu, Gang, Xiong, Gang
Publikováno v:
In Computer Networks May 2024 245
Publikováno v:
In Computer Standards & Interfaces January 2023 83
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
Autor:
Luan, Luan1,2 (AUTHOR), Gu, Chunxiang1,2 (AUTHOR), Zheng, Yonghui1,2 (AUTHOR) yonghui.zh@163.com, Shi, Yanan1,2 (AUTHOR)
Publikováno v:
Mathematics (2227-7390). Feb2023, Vol. 11 Issue 3, p766. 33p.
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.
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.