Formal analysis of key exchange protocols and physical protocols

Metadata Label Value
Author(s): Schmidt, Benedikt
Publisher: ETH
Citation:

Schmidt, Benedikt. Formal analysis of key exchange protocols and physical protocols. ETH (2012). http://dx.doi.org/10.3929/ethz-a-009898924

Document Type: Doctoral and Habilitation Theses  
Documents: Abstract (68.07KB) , Fulltext (2.17MB)
Import to Mendeley

Detailed Information

Metadata Description
Title Formal analysis of key exchange protocols and physical protocols
Author(s) Schmidt, Benedikt
Publication Place Zürich
Publisher ETH
Publication Date 2012
Notes Diss., Eidgenössische Technische Hochschule ETH Zürich, Nr. 20856, 2012
Language English
DOI http://dx.doi.org/10.3929/ethz-a-009898924
Subject(s) Computer Systems
Data
Keyword(s) CODING
NETWORK PROTOCOLS
DATA SECURITY
Organisational Unit Department of Computer Science
Online Publication Date 2013
Description File Name MIME Type Size
Abstract   eth-7065-01.pdf application/pdf 68.07KB
Fulltext   eth-7065-02.pdf application/pdf 2.17MB
Abstract Views and Downloads
Views 422  abstracts
Downloads 654  downloads

Abstract Views and Downloads by Country
Views 126  abstracts
Downloads 280  downloads
United States Views 37  abstracts
Downloads 58  downloads
United Kingdom Views 44  abstracts
Downloads 49  downloads
Switzerland Views 57  abstracts
Downloads 47  downloads
France Views 28  abstracts
Downloads 39  downloads
Germany Views 23  abstracts
Downloads 38  downloads
China Views 16  abstracts
Downloads 22  downloads
Iran, Islamic Republic of Views abstracts
Downloads 15  downloads
Korea, Republic of Views abstracts
Downloads downloads
Luxembourg Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Denmark Views abstracts
Downloads downloads
Egypt Views abstracts
Downloads downloads
Israel Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
Australia Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Singapore Views abstracts
Downloads downloads
Turkey Views abstracts
Downloads downloads
Finland Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Norway Views abstracts
Downloads downloads
Croatia Views abstracts
Downloads downloads
Czech Republic Views abstracts
Downloads downloads
Estonia Views abstracts
Downloads downloads
Fiji Views abstracts
Downloads downloads
Greece Views abstracts
Downloads downloads
Hong Kong Views abstracts
Downloads downloads
Indonesia Views abstracts
Downloads downloads
Jordan Views abstracts
Downloads downloads
Kenya Views abstracts
Downloads downloads
Kuwait Views abstracts
Downloads downloads
Libyan Arab Jamahiriya Views abstracts
Downloads downloads
Lithuania Views abstracts
Downloads downloads
Malaysia Views abstracts
Downloads downloads
Moldova, Republic of Views abstracts
Downloads downloads
New Zealand Views abstracts
Downloads downloads
Philippines Views abstracts
Downloads downloads
Portugal Views abstracts
Downloads downloads
Russian Federation Views abstracts
Downloads downloads
Serbia and Montenegro Views abstracts
Downloads downloads
Slovakia Views abstracts
Downloads downloads
South Africa Views abstracts
Downloads downloads
Sri Lanka Views abstracts
Downloads downloads
Taiwan Views abstracts
Downloads downloads
Vietnam Views abstracts
Downloads downloads
Macedonia Views abstracts
Downloads downloads


E-Collection record created: Thu, 27 Jun 2013, 04:24:49 CET