Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Link-Resolver
Autor(en)
Cortier, Véronique
Artikel
Automatic generation of sources lemmas in Tamarin: Towards automatic proofs of security protocols1
Titel
Journal of computer security.
Verlag
IOS Press
Ort
Netherlands :
Erscheinungsjahr
1992
Es wurden folgende elektronische Volltexte gefunden