Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Tools for Formal Analysis"'
Publikováno v:
ICTACT Journal on Communication Technology, Vol 8, Iss 2, Pp 1533-1539 (2017)
Cryptographic protocols cannot guarantee the secure operations by merely using state-of-the-art cryptographic mechanisms. Validation of such protocols is done by using formal methods. Various specialized tools have been developed for this purpose and
Externí odkaz:
https://doaj.org/article/f53ae92569a64429b3ddae8c661a27c1
Publikováno v:
ICTACT Journal on Communication Technology, Vol 8, Iss 2, Pp 1533-1539 (2017)
Cryptographic protocols cannot guarantee the secure operations by merely using state-of-the-art cryptographic mechanisms. Validation of such protocols is done by using formal methods. Various specialized tools have been developed for this purpose and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4445979f423be5f1089352ff73d24a63
http://ictactjournals.in/ArticleDetails.aspx?id=3091
http://ictactjournals.in/ArticleDetails.aspx?id=3091
Autor:
Mazzanti F., Trentanni G.
Publikováno v:
Pisa: CNR-ISTI, 2012
info:cnr-pdr/source/autori:Mazzanti F.; Trentanni G./titolo:iFM 2012 & ABZ 2012-Proceedings of the Posters & Tool demos Session/editore: /anno:2012
info:cnr-pdr/source/autori:Mazzanti F.; Trentanni G./titolo:iFM 2012 & ABZ 2012-Proceedings of the Posters & Tool demos Session/editore: /anno:2012
Submissions accepted for the Posters & Tool Demos Session at iFM+ABZ 2012 Conference, Pisa, 18-21 June 2012
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3a7fabefeacd2d97cbb5216db4abaddd
https://openportal.isti.cnr.it/doc?id=people______::3a7fabefeacd2d97cbb5216db4abaddd
https://openportal.isti.cnr.it/doc?id=people______::3a7fabefeacd2d97cbb5216db4abaddd
