Suchen Sitemap Kontakt Impressum

Infos für Schüler | Wirtschaft | Presse | Alumni | Uni-Angehörige

Christian-Albrechts-Universität zu Kiel
 Universitätsbibliothek
powered by <MyCoRe>
Suchergebnisse
Suche verfeinern | Neue SucheAnzahl der Trefferseiten [12  Es wurden 14 Objekte gefunden

A Simulation-Based Treatment of Authenticated Message Exchange
TR_0917 (2009-08)
Digitalisat(e) Adobe PDF ansehen
Erschienen: Technische Berichte des Instituts... / 2009
Computationally Sound Analysis of a Probabilistic Contract Signing Protocol
TR_0911 (2009-04)
Digitalisat(e) Adobe PDF ansehen
Erschienen: Technische Berichte des Instituts... / 2009
Computationally Secure Two-Round Authenticated Message Exchange
TR_0810 (2009-05)
Digitalisat(e) Adobe PDF ansehen
Erschienen: Technische Berichte des Instituts... / 2008
A Dolev-Yao-based Definition of Abuse-free Protocols
TR_0607 (2006-05)
Digitalisat(e) Adobe PDF ansehen
Erschienen: Technische Berichte des Instituts... / 2006
Deciding Properties of Contract-Signing Protocols
TR_0409 (2004-09)
Digitalisat(e) Adobe PDF ansehen
Erschienen: Technische Berichte des Instituts... / 2004
Automata-based Analysis of Recursive Cryptographic Protocols
TR_0311 (2003-09)
Digitalisat(e) Adobe PDF ansehen
Erschienen: Technische Berichte des Instituts... / 2003
Deciding the First Level of the [my]-calculus Alternation Hierarchy
TR_0209 (2002-07)
Digitalisat(e) Adobe PDF ansehen
Erschienen: Technische Berichte des Instituts... / 2002
Simulation Relations for Alternating Büchi Automata
2019 (2001-11)
Digitalisat(e) Adobe PDF ansehen
Erschienen: Technische Berichte des Instituts... / 2001
The Automata-Theoretic Method Works for TCTL Model Checking
Tr_9811 (1998-09)
Erschienen: Technische Berichte des Instituts... / 1998
Algebras for Classifying Regular Tree Languages and an Application to Frontier Testability
Tr_9313 (1993-07)
Digitalisat(e) Adobe PDF ansehen
Erschienen: Technische Berichte des Instituts... / 1993
Anzahl der Trefferseiten [12