Show simple item record

dc.contributor.author
Kyburz, Adrian
dc.date.accessioned
2017-06-13T12:11:46Z
dc.date.available
2017-06-13T12:11:46Z
dc.date.issued
2010
dc.identifier.uri
http://hdl.handle.net/20.500.11850/152399
dc.identifier.doi
10.3929/ethz-a-006250423
dc.format
application/pdf
dc.language.iso
en
dc.publisher
Swiss Federal Institute of Technology Zurich, Department of Computer Science
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.subject
NETZWERKPROTOKOLLE + KOMMUNIKATIONSPROTOKOLLE (COMPUTERSYSTEME)
dc.subject
INTERNET + WORLD WIDE WEB (COMPUTERSYSTEME)
dc.subject
DATENSICHERHEIT + DATENSCHUTZ (BETRIEBSSYSTEME)
dc.subject
NETWORK PROTOCOLS + COMMUNICATION PROTOCOLS (COMPUTER SYSTEMS)
dc.subject
INTERNET + WORLD WIDE WEB (COMPUTER SYSTEMS)
dc.subject
DATA SECURITY + DATA PROTECTION (OPERATING SYSTEMS)
dc.title
An automated formal analysis of the security of the internet key exchange (IKE) protocol in the presence of compromising adversaries
dc.type
Master Thesis
dc.rights.license
In Copyright - Non-Commercial Use Permitted
ethz.size
Online-Datei
ethz.code.ddc
DDC - DDC::0 - Computer science, information & general works::004 - Data processing, computer science
ethz.code.ddc
DDC - DDC::0 - Computer science, information & general works::004 - Data processing, computer science
ethz.notes
Master Thesis ETH Zürich, 2010.
ethz.identifier.nebis
006250423
ethz.publication.place
Zurich
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science
ethz.date.deposited
2017-06-13T12:16:13Z
ethz.source
ECOL
ethz.identifier.importid
imp59366af87db8b59488
ethz.ecolpid
eth:2226
ethz.eth
yes
ethz.availability
Open access
ethz.rosetta.installDate
2017-07-15T17:18:19Z
ethz.rosetta.lastUpdated
2020-02-15T03:47:51Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=An%20automated%20formal%20analysis%20of%20the%20security%20of%20the%20internet%20key%20exchange%20(IKE)%20protocol%20in%20the%20presence%20of%20compromising%20adversarie&rft.date=2010&rft.au=Kyburz,%20Adrian&rft.genre=unknown&rft.btitle=An%20automated%20formal%20analysis%20of%20the%20security%20of%20the%20internet%20key%20exchange%20(IKE)%20protocol%20in%20the%20presence%20of%20compromising%20adversarie
 Search via swisscovery

Files in this item

Thumbnail

Publication type

Show simple item record