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

Description	URL
NEBIS Link	http://opac.nebis.ch/F/?local_base=NEBIS&func=find-b&find_code=SYS&request=006821912

Abstract Views and Downloads
Views	11
Downloads	9

Abstract Views and Downloads by Country
	Views	6
	Downloads	4
Belarus	Views	0
Belarus	Downloads	1
France	Views	1
France	Downloads	1
Luxembourg	Views	0
Luxembourg	Downloads	1
Portugal	Views	0
Portugal	Downloads	1
United States	Views	1
United States	Downloads	1
Switzerland	Views	2
Switzerland	Downloads	0
Ukraine	Views	1
Ukraine	Downloads	0