Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA

University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació

Online Hochschulschrift

Wie komme ich dran?

Zugriff:

View record in TDX (Volltext)

Titel:	Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA
Autor/in / Beteiligte Person:	University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Link:	View record in TDX (Volltext)
Medientyp:	Hochschulschrift
DOI:	10.4995/Thesis/10251/48527
Schlagwort:	Maude-NPA Formal verification of cryptographic protocols Cryptographic protocol analysis Narrowing-based reachability analysis Reasoning modulo an equational theory Variant-based equational unification Standard rewritring-based model checking Sequential protocol composition Indistinguishability Asymmetric unification Equational unification Efficient crytographic protocol analysis State space reduction techniques LENGUAJES Y SISTEMAS INFORMATICOS
Sonstiges:	Nachgewiesen in: TDX Document Type: Dissertation/Thesis

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.