An On-the-fly model-checker for security protocol analysis

Metadata Label Value
Author(s): Basin, David A., Mödersheim, Sebastian, Viganò, Luca
Publisher: ETH, Eidgenössische Technische Hochschule Zürich, Information Security Group
Citation:

Basin, David A., Mödersheim, Sebastian and Viganò, Luca. An On-the-fly model-checker for security protocol analysis. ETH, Eidgenössische Technische Hochschule Zürich, Information Security Group (2003). http://dx.doi.org/10.3929/ethz-a-006666067

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

Detailed Information

Metadata Description
Title An On-the-fly model-checker for security protocol analysis
Author(s) Basin, David A.
Mödersheim, Sebastian
Viganò, Luca
Publication Place Zürich
Publisher ETH, Eidgenössische Technische Hochschule Zürich, Information Security Group
Publication Date 2003
Series Technical report / [ETH, Department of Computer Science] 404
Language English
DOI http://dx.doi.org/10.3929/ethz-a-006666067
Subject(s) Computer Systems
Data
Keyword(s) VERIFICATION
NETWORK PROTOCOLS
DATA SECURITY
Organisational Unit Department of Computer Science
Online Publication Date 2011
Description File Name MIME Type Size
Text   eth-4466-01.pdf application/pdf 315.05KB
Abstract Views and Downloads
Views 30  abstracts
Downloads 13  downloads

Abstract Views and Downloads by Country
Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
Iran, Islamic Republic of Views abstracts
Downloads downloads
Turkey Views abstracts
Downloads downloads
United States Views abstracts
Downloads downloads
China Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads


E-Collection record created: Tue, 18 Oct 2011, 04:38:12 CET