Michael Backes

Cryptographically sound analysis of security protocols.
. Saarland University, Saarbrücken, Germany, (2004)
  •  :
  •  :
далее