Graham Steel

Discovering security protocol attacks by refuting incorrect inductive conjectures.
. University of Edinburgh, UK, (2004)British Library, EThOS.
  •  :
  •  :
далее