Show simple item record

dc.contributor.author
Schaller, Patrick
dc.contributor.author
Schmidt, Benedikt
dc.contributor.author
Basin, David A.
dc.contributor.author
Capkun, Srdjan
dc.date.accessioned
2017-08-14T08:03:37Z
dc.date.available
2017-06-10T19:31:51Z
dc.date.available
2017-08-14T08:03:37Z
dc.date.issued
2012
dc.identifier.uri
http://hdl.handle.net/20.500.11850/69795
dc.identifier.doi
10.3929/ethz-a-006821912
dc.description.abstract
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of physical properties of the environment, namely communication, location, and time. In particular, communication is subject to physical constraints, for example, message transmission takes time determined by the communication medium used and the distance traveled. All agents, including intruders, are subject to these constraints and this results in a distributed intruder with restricted, but more realistic, communication capabilities than the standard Dolev-Yao intruder. We have formalized our model in Isabelle/HOL and used it to verify protocols for authenticated ranging, distance bounding, and broadcast authentication based on delayed key disclosure.
en_US
dc.format
application/pdf
dc.language.iso
en
en_US
dc.publisher
Eidgenössische Technische Hochschule Zürich, Department of Computer Science
en_US
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.subject
VERIFICATION (SOFTWARE ENGINEERING)
en_US
dc.subject
MOBILFUNKNETZE + DRAHTLOSE NACHRICHTENNETZE (NACHRICHTENTECHNIK)
en_US
dc.subject
DATA SECURITY + DATA PROTECTION (OPERATING SYSTEMS)
en_US
dc.subject
NETWORK PROTOCOLS + COMMUNICATION PROTOCOLS (COMPUTER SYSTEMS)
en_US
dc.subject
NETZWERKPROTOKOLLE + KOMMUNIKATIONSPROTOKOLLE (COMPUTERSYSTEME)
en_US
dc.subject
VERIFIKATION (SOFTWARE ENGINEERING)
en_US
dc.subject
MOBILE RADIO NETWORKS + WIRELESS COMMUNICATIONS NETWORKS (TELECOMMUNICATIONS)
en_US
dc.subject
DATENSICHERHEIT + DATENSCHUTZ (BETRIEBSSYSTEME)
en_US
dc.title
Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks
en_US
dc.type
Report
dc.rights.license
In Copyright - Non-Commercial Use Permitted
dc.date.published
2012
ethz.journal.title
Technical Report / ETH Zurich, Department of Computer Science
ethz.journal.volume
600
en_US
ethz.size
12 p.
en_US
ethz.code.ddc
DDC - DDC::0 - Computer science, information & general works::004 - Data processing, computer science
en_US
ethz.code.ddc
DDC - DDC::6 - Technology, medicine and applied sciences::621.3 - Electric engineering
en_US
ethz.identifier.nebis
006821912
ethz.publication.place
Zürich
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03755 - Capkun, Srdan / Capkun, Srdan
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
en_US
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03755 - Capkun, Srdan / Capkun, Srdan
ethz.date.deposited
2017-06-10T19:34:36Z
ethz.source
ECOL
ethz.source
ECIT
ethz.identifier.importid
imp59366b18d8d4b36760
ethz.identifier.importid
imp593650d3e5cc391353
ethz.ecolpid
eth:4991
ethz.ecitpid
pub:110549
ethz.eth
yes
en_US
ethz.availability
Open access
en_US
ethz.rosetta.installDate
2017-07-31T12:29:57Z
ethz.rosetta.lastUpdated
2021-02-14T18:16:23Z
ethz.rosetta.exportRequired
true
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Modeling%20and%20Verifying%20Physical%20Properties%20of%20Security%20Protocols%20for%20Wireless%20Networks&rft.jtitle=Technical%20Report%20/%20ETH%20Zurich,%20Department%20of%20Computer%20Science&rft.date=2012&rft.volume=600&rft.au=Schaller,%20Patrick&Schmidt,%20Benedikt&Basin,%20David%20A.&Capkun,%20Srdjan&rft.genre=report&
 Search print copy at ETH Library

Files in this item

Thumbnail

Publication type

Show simple item record