Publication

Exploiting Generic Aspects of Security Models in Formal Developments

Heiko Mantel, Axel Schairer

In: Dieter Hutter, Werner Stephan (editor). Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. Springer 2005.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz