Skip to main content
Skip to navigation
Skip to toolbar
An automated formal analysis of the security of the internet key exchange (IKE) protocol in the presence of compromising adversaries
| Metadata Label | Value |
|---|---|
| Author(s): | Kyburz, Adrian |
| Publisher: | Swiss Federal Institute of Technology Zurich, Department of Computer Science |
| Citation: | Kyburz, Adrian. An automated formal analysis of the security of the internet key exchange (IKE) protocol in the presence of compromising adversaries. Swiss Federal Institute of Technology Zurich, Department of Computer Science (2010). http://dx.doi.org/10.3929/ethz-a-006250423 |
| Document Type: | Master Theses |
| Documents: |
Text
(874.16KB) |
Detailed Information
| Metadata | Description |
|---|---|
| Title | An automated formal analysis of the security of the internet key exchange (IKE) protocol in the presence of compromising adversaries |
| Author(s) | Kyburz, Adrian |
| Publication Place | Zurich |
| Publisher | Swiss Federal Institute of Technology Zurich, Department of Computer Science |
| Publication Date | 2010 |
| Notes | Master Thesis ETH Zürich, 2010 |
| DOI | http://dx.doi.org/10.3929/ethz-a-006250423 |
| Subject(s) |
Computer Systems Data |
| Keyword(s) |
NETWORK PROTOCOLS COMMUNICATION PROTOCOLS COMPUTER SYSTEMS DATA SECURITY DATA PROTECTION OPERATING SYSTEMS |
| Organisational Unit | Department of Computer Science |
| Online Publication Date | 2010 |
| Description | File Name | MIME Type | Size |
|---|---|---|---|
| Text |
eth-2226-01.pdf |
application/pdf | 874.16KB |
| Description | URL |
|---|---|
| NEBIS Link | http://opac.nebis.ch/F/?local_base=NEBIS&func=find-b&find_code=SYS&request=006250423 |
Abstract Views and Downloads  |
||
|---|---|---|
| Views | 66 |  |
| Downloads | 178 |  |
| Abstract Views and Downloads by Country |
|||
|---|---|---|---|
 |
Views | 26 | |
| Downloads | 60 | |
|
 Switzerland |
Views | 19 | |
| Downloads | 28 | |
|
 United States |
Views | 4 | |
| Downloads | 14 | |
|
 China |
Views | 2 | |
| Downloads | 13 | |
|
 Germany |
Views | 2 | |
| Downloads | 8 | |
|
 United Kingdom |
Views | 1 | |
| Downloads | 8 | |
|
 France |
Views | 1 | |
| Downloads | 5 | |
|
 Iran, Islamic Republic of |
Views | 1 | |
| Downloads | 5 | |
|
 Italy |
Views | 1 | |
| Downloads | 5 | |
|
 Australia |
Views | 0 | |
| Downloads | 4 | |
|
 Romania |
Views | 0 | |
| Downloads | 3 | |
|
 India |
Views | 0 | |
| Downloads | 2 | |
|
 Japan |
Views | 0 | |
| Downloads | 2 | |
|
 Kenya |
Views | 0 | |
| Downloads | 2 | |
|
 Korea, Republic of |
Views | 0 | |
| Downloads | 2 | |
|
 Russian Federation |
Views | 1 | |
| Downloads | 2 | |
|
 Sweden |
Views | 0 | |
| Downloads | 2 | |
|
 Turkey |
Views | 0 | |
| Downloads | 2 | |
|
 Austria |
Views | 0 | |
| Downloads | 1 | |
|
 Canada |
Views | 1 | |
| Downloads | 1 | |
|
 Czech Republic |
Views | 0 | |
| Downloads | 1 | |
|
 Indonesia |
Views | 1 | |
| Downloads | 1 | |
|
 Luxembourg |
Views | 0 | |
| Downloads | 1 | |
|
 Malaysia |
Views | 1 | |
| Downloads | 1 | |
|
 Serbia and Montenegro |
Views | 0 | |
| Downloads | 1 | |
|
 Singapore |
Views | 1 | |
| Downloads | 1 | |
|
 Slovenia |
Views | 0 | |
| Downloads | 1 | |
|
 Spain |
Views | 1 | |
| Downloads | 1 | |
|
 Syrian Arab
Republic |
Views | 0 | |
| Downloads | 1 | |
|
 Poland |
Views | 1 | |
| Downloads | 0 | |
|
 Portugal |
Views | 1 | |
| Downloads | 0 | |
|
 Ukraine |
Views | 1 | |
| Downloads | 0 | |
|
E-Collection record created: Wed, 15 Dec 2010, 05:20:36 CET