Show simple item record

dc.contributor.author
Baelde, David
dc.contributor.author
Delaune, Stéphanie
dc.contributor.author
Hirschi, Lucca
dc.contributor.editor
Lopez, Javier
dc.contributor.editor
Zhou, Jianying
dc.contributor.editor
Soriano, Miguel
dc.date.accessioned
2019-03-19T10:17:21Z
dc.date.available
2018-10-08T13:56:49Z
dc.date.available
2018-10-09T11:24:38Z
dc.date.available
2018-12-10T13:23:58Z
dc.date.available
2019-03-19T10:17:21Z
dc.date.issued
2018
dc.identifier.isbn
978-3-319-99072-9
en_US
dc.identifier.isbn
978-3-319-99073-6
en_US
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-319-99073-6_19
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/294005
dc.language.iso
en
en_US
dc.publisher
Springer
en_US
dc.title
POR for Security Protocol Equivalences: Beyond Action-Determinism
en_US
dc.type
Conference Paper
dc.date.published
2018-08-08
ethz.book.title
Computer Security: 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part 1
en_US
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
11098
en_US
ethz.journal.abbreviated
LNCS
ethz.pages.start
385
en_US
ethz.pages.end
405
en_US
ethz.event
23rd European Symposium on Research in Computer Security, ESORICS 2018
en_US
ethz.event.location
Barcelona, Spain
en_US
ethz.event.date
September 3-7, 2018
en_US
ethz.identifier.wos
ethz.publication.place
Cham
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
en_US
ethz.date.deposited
2018-10-08T13:56:51Z
ethz.source
FORM
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.installDate
2018-10-09T11:24:41Z
ethz.rosetta.lastUpdated
2019-03-19T10:17:24Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=POR%20for%20Security%20Protocol%20Equivalences:%20Beyond%20Action-Determinism&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2018&rft.volume=11098&rft.spage=385&rft.epage=405&rft.issn=0302-9743&1611-3349&rft.au=Baelde,%20David&Delaune,%20St%C3%A9phanie&Hirschi,%20Lucca&rft.isbn=978-3-319-99072-9&978-3-319-99073-6&rft.genre=proceeding&rft_id=info:doi/978-3-319-99072-9&info:doi/978-3-319-99073-6&rft.btitle=Computer%20Security:%2023rd%20European%20Symposium%20on%20Research%20in%20Computer%20Security,%20ESORICS%202018,%20Barcelona,%20Spain,%20September%203-7,%202018,%20Proce
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record