Biblio Export 1 results: RTF EndNote XML Filters: Автор is Susan Older [Clear All Filters]2002"Formal Methods of Assuring Security of Protocols." The Computer Journal 45, no. 1 (2002): 46-54.DOI Google Scholar RTF EndNote XML