Show simple item record

dc.contributor.author
Nguyen, Binh Thanh
dc.contributor.author
Sprenger, Christoph
dc.date.accessioned
2018-03-07T15:52:13Z
dc.date.available
2017-06-11T07:35:12Z
dc.date.available
2018-03-07T15:52:13Z
dc.date.issued
2014
dc.identifier.uri
http://hdl.handle.net/20.500.11850/83188
dc.identifier.doi
10.3929/ethz-a-010144557
dc.description.abstract
We present a large class of security protocol abstractions with the aim of improving the scope and efficiency of verification tools. We present type-based abstractions, which use a term’s type to uniformly select the kind of abstraction applied, as well as untyped abstractions, which enable the removal of atomic messages, variables, and redundant terms. We extend existing work in the area by supporting additional abstractions, user-defined types, and untyped variables to cover type flaw attacks. We prove soundness results for an expressive property language that includes secrecy and authentication. Applying our abstractions to a set of realistic IETF protocol models, we achieve dramatic speedups and extend the scope of several modern security protocol analyzers.
en_US
dc.language.iso
en
en_US
dc.publisher
ETH-Zürich
en_US
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.subject
VERIFICATION (SOFTWARE ENGINEERING)
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
DATENSICHERHEIT + DATENSCHUTZ (BETRIEBSSYSTEME)
en_US
dc.title
Abstractions for security protocol verification
en_US
dc.type
Report
dc.rights.license
In Copyright - Non-Commercial Use Permitted
dc.date.published
2014
ethz.size
71 p.
en_US
ethz.code.ddc
0 - Computer science, information & general works::004 - Data processing, computer science
en_US
ethz.code.ddc
0 - Computer science, information & general works::004 - Data processing, computer science
en_US
ethz.notes
.
en_US
ethz.identifier.nebis
010144557
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
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::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::03634 - Basin, David / Basin, David
ethz.date.deposited
2017-06-11T07:37:27Z
ethz.source
ECOL
ethz.source
ECIT
ethz.identifier.importid
imp59366b5b5f45c64911
ethz.identifier.importid
imp593651d39727865462
ethz.ecolpid
eth:8587
ethz.ecitpid
pub:131231
ethz.eth
yes
en_US
ethz.availability
Open access
en_US
ethz.rosetta.installDate
2017-07-26T02:18:46Z
ethz.rosetta.lastUpdated
2018-03-07T15:52:18Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Abstractions%20for%20security%20protocol%20verification&rft.date=2014&rft.au=Nguyen,%20Binh%20Thanh&Sprenger,%20Christoph&rft.genre=report&rft.btitle=Abstractions%20for%20security%20protocol%20verification
 Search via SFX

Files in this item

Thumbnail

Publication type

Show simple item record