Soundness Limits of Dolev-Yao Models

http://wayback.archive.org/web/20120313183022/http://www.infsec.cs.uni-saarland.de/~backes/papers/backes06soundness.html

Keine Beschreibung vorhanden.

https://web.archive.org/web/20170426161858/http://www.hcm.uni-bonn.de:80/people/faculty/hausdorff-chairs/profile/peter-scholze/

Keine Beschreibung vorhanden.

NYANYA - ABUJA

http://nyanya-life.blogspot.de/

Keine Beschreibung vorhanden.

http://www.hcm.uni-bonn.de/people/faculty/hausdorff-chairs/profile/peter-scholze/

Keine Beschreibung vorhanden.

MultiScaleHuman

http://www.gdv.uni-hannover.de/multiscalehuman.html

Keine Beschreibung vorhanden.