TU Darmstadt / ULB / TUbiblio

Formalizing the {DSA} Signature Scheme in Isabelle/{HOL}

Kusch, Sebastian (2006):
Formalizing the {DSA} Signature Scheme in Isabelle/{HOL}.
Technische Universität Darmstadt, [Master Thesis]

Item Type: Master Thesis
Erschienen: 2006
Creators: Kusch, Sebastian
Title: Formalizing the {DSA} Signature Scheme in Isabelle/{HOL}
Language: German
Divisions: 20 Department of Computer Science > Theoretical Computer Science - Cryptography and Computer Algebra
20 Department of Computer Science
Date Deposited: 04 Aug 2016 15:08
Identification Number: Kusch:2006
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item