TU Darmstadt / ULB / TUbiblio

An Approach for Formal and Computer Verification in Cryptography

Kotchourova, Inna (2006):
An Approach for Formal and Computer Verification in Cryptography.
Technische Universität Darmstadt, [Master Thesis]

Item Type: Master Thesis
Erschienen: 2006
Creators: Kotchourova, Inna
Title: An Approach for Formal and Computer Verification in Cryptography
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: Kotchourova:2006
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item