Show simple item record

dc.contributor.author
Matsuo, Shin'ichiro
dc.contributor.author
Miyazaki, Kunihiko
dc.contributor.author
Otsuka, Akira
dc.contributor.author
Basin, David
dc.contributor.editor
Sion, Radu
dc.contributor.editor
Curtmola, Reza
dc.contributor.editor
Dietrich, Sven
dc.contributor.editor
Kiayias, Aggelos
dc.contributor.editor
Miret, Josep M.
dc.contributor.editor
Sako, Kazue
dc.contributor.editor
Sebé, Francesc
dc.date.accessioned
2017-06-09T06:43:31Z
dc.date.available
2017-06-09T06:43:31Z
dc.date.issued
2010
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-642-14992-4_16
dc.identifier.uri
http://hdl.handle.net/20.500.11850/25205
dc.language.iso
en
dc.publisher
Springer
dc.subject
Cryptographic protocols
dc.subject
Formal verification
dc.subject
Standardization
dc.title
How to Evaluate the Security of Real-life Cryptographic Protocols?
dc.type
Conference Paper
ethz.title.subtitle
The cases of ISO/IEC 29128 and CRYPTREC
ethz.book.title
Financial cryptography and data security
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
6054
ethz.journal.abbreviated
LNCS
ethz.pages.start
182
ethz.pages.end
194
ethz.event
FC 2010 Workshops, RLCPS, WECSR, and WLC 2010
ethz.event.location
Tenerife, Canary Islands, Spain
ethz.event.date
January 25-28, 2010
ethz.notes
.
ethz.identifier.nebis
006166362
ethz.publication.place
Berlin
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::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::03634 - Basin, David / Basin, David
ethz.date.deposited
2017-06-09T06:44:00Z
ethz.source
ECIT
ethz.identifier.importid
imp59364d348ee1c54903
ethz.ecitpid
pub:40850
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T22:54:58Z
ethz.rosetta.lastUpdated
2018-10-01T09:51:01Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=How%20to%20Evaluate%20the%20Security%20of%20Real-life%20Cryptographic%20Protocols?&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2010&rft.volume=6054&rft.spage=182&rft.epage=194&rft.issn=0302-9743&1611-3349&rft.au=Matsuo,%20Shin'ichiro&Miyazaki,%20Kunihiko&Otsuka,%20Akira&Basin,%20David&rft.genre=proceeding&rft.btitle=Financial%20cryptography%20and%20data%20security
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record