Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks

Metadata Label Value
Author(s): Schaller, Patrick, Schmidt, Benedikt, Basin, David A., Capkun, Srdjan
Publisher: Eidgenössische Technische Hochschule Zürich, Department of Computer Science
Citation:

Schaller, Patrick, Schmidt, Benedikt, Basin, David A. and Capkun, Srdjan. Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks. Eidgenössische Technische Hochschule Zürich, Department of Computer Science. http://dx.doi.org/10.3929/ethz-a-006821912

Document Type: Reports  
Documents: Text (197.45KB)

Detailed Information

Metadata Description
Title Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks
Author(s) Schaller, Patrick
Schmidt, Benedikt
Basin, David A.
Capkun, Srdjan
Publication Place Zürich
Publisher Eidgenössische Technische Hochschule Zürich, Department of Computer Science
Series [Technical report / ETH Zürich, Department of Computer Science] [600]
Language English
DOI http://dx.doi.org/10.3929/ethz-a-006821912
Subject(s) Computer Systems
Telecommunications
Keyword(s) VERIFICATION
NETWORK PROTOCOLS
DATA SECURITY
MOBILE RADIO NETWORKS
Organisational Unit Department of Computer Science
Online Publication Date 2012
Description File Name MIME Type Size
Text   eth-4991-01.pdf application/pdf 197.45KB
Abstract Views and Downloads
Views 11  abstracts
Downloads downloads

Abstract Views and Downloads by Country
Views abstracts
Downloads downloads
Belarus Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Luxembourg Views abstracts
Downloads downloads
Portugal Views abstracts
Downloads downloads
United States Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads


E-Collection record created: Tue, 10 Jan 2012, 06:08:01 CET