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 [1Es wurden 7 Objekte gefunden

Deciding Epistemic and Strategic Properties of Cryptographic Protocols
TR_1012 (2010-10)
Digitalisat(e) Adobe PDF ansehen
Erschienen: Technische Berichte des Instituts... / 2010
Explicit Strategies and Quantification for ATL with Incomplete Information and Probabilistic Games
TR_1008 (2010-08)
Digitalisat(e) Adobe PDF ansehen
Erschienen: Technische Berichte des Instituts... / 2010
Probabilistic ATL with Incomplete Information
TR_0918 (2009-09)
Digitalisat(e) Adobe PDF ansehen
Erschienen: Technische Berichte des Instituts... / 2009
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
Symbolic Verification of Computational Security for Branching-Time Properties
TR_0809 (2008-09)
Digitalisat(e) Adobe PDF ansehen
Erschienen: Technische Berichte des Instituts... / 2008
Anzahl der Trefferseiten [1