Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Wiesner, Sven Nils"'
Autor:
Wiesner, Sven Nils
Tamigloo is an approach to translate security protocol models, given as Multiset-Rewriting Systems for the protocol analysis tool Tamarin, into an I/O specification in separation logic for each protocol role. Preserving the properties of the original
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8e82d8673868c7769c00c05587a8e4d8
