Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
2192-6247
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
Technische Berichte des Instituts für Informatik der CAU Kiel ; 0305

Klassifikation
Informatik

Ereignis
Veröffentlichung
(wo)
Kiel
(wer)
Universitätsbibliothek Kiel
(wann)
2003
Beteiligte Personen und Organisationen
Chevalier, Yannick
Küsters, Ralf
Rusinowitch, Michael
Turuani, Mathieu

URN
urn:nbn:de:gbv:8:1-zs-00000162-a1
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:22 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Chevalier, Yannick
  • Küsters, Ralf
  • Rusinowitch, Michael
  • Turuani, Mathieu
  • Universitätsbibliothek Kiel

Entstanden

  • 2003

Ähnliche Objekte (12)

Deciding Properties of Contract-Signing Protocols

Deciding Properties of Contract-Signing Protocols

Deciding Epistemic and Strategic Properties of Cryptographic Protocols.

Deciding Epistemic and Strategic Properties of Cryptographic Protocols.

Hellman

Sachakte

Hellman

DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice

DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice

Hellman, Eugen

Archivale

Hellman, Eugen

Hellmans Hausplatz

Sachakte

Hellmans Hausplatz

Hellman, Moses

Personenakte

Hellman, Moses

Deciding to distrust

Arbeitspapier

Deciding to distrust

Deciding orthogonal bisimulation

Deciding orthogonal bisimulation

Modelling exponents

Modelling exponents

Lyapunov exponents :

Sachakte

Lyapunov exponents :

Hellmans, Johann (Bl. 20V)

Sachakte

Hellmans, Johann (Bl. 20V)

Verbundene Objekte