Improving the Security of Cryptographic Protocol Standards
dc.contributor.author
Basin, David
dc.contributor.author
Cremers, Cas
dc.contributor.author
Miyazaki, Kunihiko
dc.contributor.author
Radomirović, Saša
dc.contributor.author
Watanabe, Dai
dc.date.accessioned
2017-06-11T08:19:21Z
dc.date.available
2017-06-11T08:19:21Z
dc.date.issued
2015
dc.identifier.issn
1540-7993
dc.identifier.issn
1558-4046
dc.identifier.other
10.1109/MSP.2013.162
dc.identifier.uri
http://hdl.handle.net/20.500.11850/83955
dc.language.iso
en
dc.publisher
IEEE
dc.subject
Standards
dc.subject
Network Protocols
dc.subject
Security
dc.subject
Protocol Verification
dc.subject
Formal Methods
dc.title
Improving the Security of Cryptographic Protocol Standards
dc.type
Journal Article
ethz.journal.title
IEEE Security & Privacy
ethz.journal.volume
13
ethz.journal.issue
3
ethz.journal.abbreviated
IEEE secur. priv.
ethz.pages.start
24
ethz.pages.end
31
ethz.identifier.wos
ethz.identifier.nebis
004489355
ethz.publication.place
New York, NY
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::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::03634 - Basin, David / Basin, David
ethz.date.deposited
2017-06-11T08:23:35Z
ethz.source
ECIT
ethz.identifier.importid
imp593651e3319b731126
ethz.ecitpid
pub:132463
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-15T02:24:43Z
ethz.rosetta.lastUpdated
2022-03-28T12:49:09Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Improving%20the%20Security%20of%20Cryptographic%20Protocol%20Standards&rft.jtitle=IEEE%20Security%20&%20Privacy&rft.date=2015&rft.volume=13&rft.issue=3&rft.spage=24&rft.epage=31&rft.issn=1540-7993&1558-4046&rft.au=Basin,%20David&Cremers,%20Cas&Miyazaki,%20Kunihiko&Radomirovi%C4%87,%20Sa%C5%A1a&Watanabe,%20Dai&rft.genre=article&rft_id=info:doi/10.1109/MSP.2013.162&
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Journal Article [128914]