Time Influence on Security Protocol

von Szymoniak, Sabina
Veröffentlicht in ENASE (16. : 2021 : Online) ENASE 2021 (2021)

VERSECTIS — AN AGENT BASED MODEL CHECKER FOR SECURITY PROTOCOLS

von Zbrzezny, Agnieszka M.
Veröffentlicht in AAMAS (19. : 2020 : Online) International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020) ; Volume 3 of 3 (2021)