Biblio Export 1 results: RTF EndNote XML Filters: Автор is Giampaolo Bella [Clear All Filters]2009"Validating Security Protocols under the General Attacker." In Foundations and Applications of Security Analysis, 33-51. Berlin, Heidelberg: Springer, 2009.DOI Google Scholar RTF EndNote XML
