In this thesis, we present five significant, orthogonal extensions to the Dolev Yao model. Each extension considers a more realistic setting, closer to the real world, thus providing a stronger security guarantee. We provide examples both from the literature and from industrial case studies to show the practical applicability of each extension.
|Award date||12 Jan 2006|
|Place of Publication||Enschede, Netherlands|
|Publication status||Published - 12 Jan 2006|