Verification of security protocols
: tool support for update semantics

  • S. Nirmal

Scriptie/Masterproef: Master

Samenvatting

Datum prijs31 aug 2005
Originele taalEngels
BegeleiderErik P. de Vink (Afstudeerdocent 1) & S.M. Orzan (Afstudeerdocent 2)

Citeer dit

'