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

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
2192-6247
Extent
Online-Ressource
Language
Englisch

Bibliographic citation
Technische Berichte des Instituts für Informatik der CAU Kiel ; 0305

Classification
Informatik

Event
Veröffentlichung
(where)
Kiel
(who)
Universitätsbibliothek Kiel
(when)
2003
Contributor
Chevalier, Yannick
Küsters, Ralf
Rusinowitch, Michael
Turuani, Mathieu

URN
urn:nbn:de:gbv:8:1-zs-00000162-a1
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
15.08.2025, 7:22 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

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

Time of origin

  • 2003

Other Objects (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

Hellmans Hausplatz

Sachakte

Hellmans Hausplatz

Hellman, Eugen

Archivale

Hellman, Eugen

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)

Related objects