Show simple item record

dc.contributor.author
Sprenger, Christoph
dc.contributor.author
Basin, David
dc.date.accessioned
2018-06-15T07:46:35Z
dc.date.available
2018-06-15T07:46:35Z
dc.date.issued
2018
dc.identifier.issn
0926-227X
dc.identifier.issn
1875-8924
dc.identifier.other
10.3233/JCS-16814
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/270249
dc.language.iso
en
en_US
dc.publisher
IOS Press
en_US
dc.subject
Security protocols
en_US
dc.subject
Stepwise refinement
en_US
dc.subject
Correctness-by-construction
en_US
dc.subject
Entity authentication
en_US
dc.subject
Key establishment
en_US
dc.title
Refining security protocols
en_US
dc.type
Journal Article
dc.date.published
2018-11-30
ethz.journal.title
Journal of Computer Security
ethz.journal.volume
26
en_US
ethz.journal.issue
1
en_US
ethz.journal.abbreviated
J. comput. secur.
ethz.pages.start
71
en_US
ethz.pages.end
120
en_US
ethz.event
Journal of Computer Security
en_US
ethz.publication.place
Amsterdam
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::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
2018-04-11T13:40:28Z
ethz.source
BATCH
ethz.source
FORM
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.installDate
2018-06-15T07:46:40Z
ethz.rosetta.lastUpdated
2018-11-07T13:02:17Z
ethz.rosetta.versionExported
true
dc.identifier.olduri
http://hdl.handle.net/20.500.11850/257074
dc.identifier.olduri
http://hdl.handle.net/20.500.11850/269105
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Refining%20security%20protocols&rft.jtitle=Journal%20of%20Computer%20Security&rft.date=2018&rft.volume=26&rft.issue=1&rft.spage=71&rft.epage=120&rft.issn=0926-227X&1875-8924&rft.au=Sprenger,%20Christoph&Basin,%20David&rft.genre=article&
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record