TU Darmstadt / ULB / TUbiblio

A Formal Approach for Proof Constructions in Cryptography

Kaiser, Markus and Buchmann, Johannes (2006):
A Formal Approach for Proof Constructions in Cryptography.
In: >International Journal of Computer Science, pp. 195--203, 1, [Article]

Item Type: Article
Erschienen: 2006
Creators: Kaiser, Markus and Buchmann, Johannes
Title: A Formal Approach for Proof Constructions in Cryptography
Language: German
Journal or Publication Title: >International Journal of Computer Science
Volume: 1
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: Kaiser:Buchmann:2006:b
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item