Belief Multiset Formalism for Cryptographic Protocol Analysis

Autor:	Xuejia Lai, Ke-Fei Chen, Ling Dong
Rok vydání:	2009
Předmět:	Multiset Theoretical computer science Cryptographic primitive Computer science Formalism (philosophy) Cryptographic protocol Cryptographic protocol analysis Software
Zdroj:	Journal of Software. 20:3060-3076
ISSN:	1000-9825
DOI:	10.3724/sp.j.1001.2009.03392
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::6a43620d1f1f4954fa1ec1d1190f31d7 https://doi.org/10.3724/sp.j.1001.2009.03392 Zobrazit plný text záznamu