Show simple item record

dc.contributor.author
Sprenger, Christoph
dc.contributor.author
Basin, David
dc.date.accessioned
2017-06-09T06:43:33Z
dc.date.available
2017-06-09T06:43:33Z
dc.date.issued
2010
dc.identifier.isbn
978-1-4503-0245-6
dc.identifier.other
10.1145/1866307.1866349
dc.identifier.uri
http://hdl.handle.net/20.500.11850/25210
dc.language.iso
en
dc.publisher
Association for Computing Machinery
dc.subject
Security protocols
dc.subject
Stepwise refinement
dc.subject
Formal development
dc.subject
Entity authentication
dc.subject
Key establishment
dc.title
Developing security protocols by refinement
dc.type
Conference Paper
ethz.book.title
17th ACM Conference on Computer and Communications Security
ethz.pages.start
361
ethz.pages.end
374
ethz.event
7th ACM Conference on Computer and Communications Security (CCS 2010)
ethz.event.location
Chicago, IL, USA
ethz.event.date
October 4-8, 2010
ethz.notes
See also http://e-citations.ethbib.ethz.ch/view/pub:108010. See also http://e-citations.ethbib.ethz.ch/view/pub:113613.
ethz.identifier.nebis
006316786
ethz.publication.place
New York
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
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science
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
imp59364d34a7ec567645
ethz.ecitpid
pub:40856
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-17T08:32:29Z
ethz.rosetta.lastUpdated
2018-10-01T09:51:09Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Developing%20security%20protocols%20by%20refinement&rft.date=2010&rft.spage=361&rft.epage=374&rft.au=Sprenger,%20Christoph&Basin,%20David&rft.isbn=978-1-4503-0245-6&rft.genre=proceeding&rft_id=info:doi/978-1-4503-0245-6&rft.btitle=17th%20ACM%20Conference%20on%20Computer%20and%20Communications%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