Biblio

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