Integrated Specification and Verification of Security Protocols and Policies

Metadata Label	Value
Author(s):	Frau, Simone, Torabi Dashti, Muhammad
Publisher:	Eidgenössische Technische Hochschule Zürich, Department of Computer Science
Citation:	Frau, Simone and Torabi Dashti, Muhammad. Integrated Specification and Verification of Security Protocols and Policies. Eidgenössische Technische Hochschule Zürich, Department of Computer Science (2011). http://dx.doi.org/10.3929/ethz-a-006804400
Document Type:	Reports
Documents:	Text (253.57KB)

Detailed Information

Metadata	Description
Title	Integrated Specification and Verification of Security Protocols and Policies
Author(s)	Frau, Simone Torabi Dashti, Muhammad
Publication Place	Zürich
Publisher	Eidgenössische Technische Hochschule Zürich, Department of Computer Science
Publication Date	2011
Language	English
DOI	http://dx.doi.org/10.3929/ethz-a-006804400
Subject(s)	Computer Science, General
Organisational Unit	Department of Computer Science
Online Publication Date	2011

Description	File Name	MIME Type	Size
Text	eth-4936-01.pdf	application/pdf	253.57KB

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

Abstract Views and Downloads
Views	13
Downloads	11

Abstract Views and Downloads by Country
	Views	5
	Downloads	3
India	Views	1
India	Downloads	2
Switzerland	Views	2
Switzerland	Downloads	2
Belgium	Views	0
Belgium	Downloads	1
Brazil	Views	0
Brazil	Downloads	1
Greece	Views	0
Greece	Downloads	1
Israel	Views	1
Israel	Downloads	1
China	Views	2
China	Downloads	0
Italy	Views	1
Italy	Downloads	0
United States	Views	1
United States	Downloads	0