On the relationships between models in protocol verification (extended version)

Metadata Label Value
Author(s): Mödersheim, Sebastian
Publisher: ETH, Department of Computer Science
Citation:

Mödersheim, Sebastian. On the relationships between models in protocol verification (extended version). ETH, Department of Computer Science. http://dx.doi.org/10.3929/ethz-a-006775802

Document Type: Reports  
Documents: Text (318.27KB)
Import to Mendeley

Detailed Information

Metadata Description
Title On the relationships between models in protocol verification (extended version)
Author(s) Mödersheim, Sebastian
Publication Place Zurich
Publisher ETH, Department of Computer Science
Series Technical report / Swiss Federal Institute of Technology Zurich, Department of Computer Science no. 512, rev.1.2
Language English
DOI http://dx.doi.org/10.3929/ethz-a-006775802
Subject(s) Computer Systems
Keyword(s) VERIFICATION
NETWORK PROTOCOLS
Organisational Unit Department of Computer Science
Online Publication Date 2011
Description File Name MIME Type Size
Text   eth-4808-01.pdf application/pdf 318.27KB
Abstract Views and Downloads
Views 31  abstracts
Downloads 22  downloads

Abstract Views and Downloads by Country
Views 17  abstracts
Downloads downloads
China Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
United States Views abstracts
Downloads downloads
Brazil Views abstracts
Downloads downloads
Denmark Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
Iran, Islamic Republic of Views abstracts
Downloads downloads
Myanmar Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads


E-Collection record created: Tue, 20 Dec 2011, 06:16:34 CET