Biblio Export 1 results: RTF EndNote XML Filters: Author is Susan Older [Clear All Filters]2002Older, Susan, and Shiu-Kai Chin. "Formal Methods of Assuring Security of Protocols." The Computer Journal 45, no. 1 (2002): 46-54.DOI Google Scholar RTF EndNote XML