%0 Journal Article
%T Formal Methods for Assuring Security of Protocols
%A Susan Older, Shiu-Kai Chin
%J The Computer Journal
%V 45
%N 1
%@ 0010-4620
%D 2002-01-01
%I Oxford University Press
%~ DeepDyve