( en | de | ru )

 

Disambiguation of "Nguyen, Hoang Nga"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Template-Based Generation of Attack-Defence Trees for Automated Security Analysis.

, , , , and . Inf., 14 (9): 481 (2023)

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.

Nga Nguyen

Huyen-Nga Hoang

Nguyen Hoang

Phi-Nga Nguyen

Hoang Duc Nguyen

 

Other publications of authors with the same name

A comparative analysis of multi-criteria decision methods for secure beacon selection in vehicular platoons., , , , , and . Trans. Emerg. Telecommun. Technol., (November 2023)A Probabilistic Logic for Resource-Bounded Multi-Agent Systems., and . IJCAI, page 521-527. ijcai.org, (2019)Symbolic Model Checking for One-Resource RB+-ATL., , , and . IJCAI, page 1069-1075. AAAI Press, (2015)A Hardware-based SoC Monitoring In-life Solution for Automotive Industry., , , , , and . PerCom Workshops, page 637-642. IEEE, (2022)Formalising UPTANE in CSP for Security Testing., , , , , and . QRS Companion, page 816-824. IEEE, (2021)Attack Defense Trees with Sequential Conjunction., , and . HASE, page 247-252. IEEE, (2019)On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic., , , and . IJCAI, page 1494-1501. AAAI Press, (2015)Verifying Time and Communication Costs of Rule-Based Reasoners., , , and . MoChArt, volume 5348 of Lecture Notes in Computer Science, page 1-14. Springer, (2008)A Template-Based Method for the Generation of Attack Trees., , , , , and . WISTP, volume 12024 of Lecture Notes in Computer Science, page 155-165. Springer, (2019)Probabilistic Resource-bounded Alternating-time Temporal Logic., and . AAMAS, page 2141-2143. International Foundation for Autonomous Agents and Multiagent Systems, (2019)