Browsen nach Autor

Autor (A-Z) "Drielsma, Paul David Hankes"

2 Ergebnisse von "Drielsma, Paul David Hankes"

Diese Suchanfrage als RSS-Feed abonnieren

1. Building formal models of next-generation security protocols

Drielsma, Paul David Hankes (2007)


Dissertationen und Habilitationen

2. Formalizing and analyzing sender invariance

Drielsma, Paul David Hankes, Mödersheim, Sebastian, Viganò, Luca und Basin, David A.


Reports