Exploiting Generic Aspects of Security Models in Formal Developments

@incollection{pub1643,
    author = {

Mantel, Heiko
 and 

Schairer, Axel
},
    editor = {

Hutter, Dieter
 and 

Stephan, Werner
},
    title = {Exploiting Generic Aspects of Security Models in Formal Developments},
    booktitle = {Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday},
    year = {2005},
    publisher = {Springer},
    note = {To appear}
}