Formale Modellierung Von Authentifizierungs- Und AutorisierungsinfrastrukturenThomas Wölfl, Prof Dr Peter Lory₹2,779
