Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Maatoug, Ghazi"'
Publikováno v:
EPTCS 122, 2013, pp. 39-49
Recently efficient model-checking tools have been developed to find flaws in security protocols specifications. These flaws can be interpreted as potential attacks scenarios but the feasability of these scenarios need to be confirmed at the implement
Externí odkaz:
http://arxiv.org/abs/1307.8210
Publikováno v:
HotSpot'14-2nd Workshop on Hot Issues in Security Principles and Trust, affiliated with ETAPS 2014
HotSpot'14-2nd Workshop on Hot Issues in Security Principles and Trust, affiliated with ETAPS 2014, Apr 2014, Grenoble, France
HotSpot'14-2nd Workshop on Hot Issues in Security Principles and Trust, affiliated with ETAPS 2014, Apr 2014, Grenoble, France
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::842f00730aaf5bda3e14f45aa34ad1f8
https://hal.inria.fr/hal-01089682
https://hal.inria.fr/hal-01089682
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.