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