Show simple item record

dc.contributor.author
Backes, Michael
dc.contributor.author
Mödersheim, Sebastian
dc.contributor.author
Pfitzmann, Birgit
dc.contributor.author
Viganò, Luca
dc.contributor.editor
Aceto, Luca
dc.contributor.editor
Ingólfsdóttir, Anna
dc.date.accessioned
2017-06-19T13:03:15Z
dc.date.available
2017-06-19T13:03:15Z
dc.date.issued
2006
dc.identifier.isbn
978-3-540-33045-5
dc.identifier.isbn
3-540-33045-3
dc.identifier.isbn
978-3-540-33046-2
dc.identifier.isbn
3-540-33046-1
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/11690634_29
dc.identifier.uri
http://hdl.handle.net/20.500.11850/161534
dc.language.iso
en
dc.publisher
Springer
dc.title
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
dc.type
Conference Paper
ethz.book.title
Foundations of software science and computation structures : 9th international conference : proceedings
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
3921
ethz.journal.abbreviated
LNCS
ethz.pages.start
428
ethz.pages.end
445
ethz.event
9th International Conference on FOundations of Software Science and Computation Structures (FOSSACS 2006)
ethz.event.location
Vienna, Austria
ethz.event.date
March 25-31, 2006
ethz.notes
.
ethz.identifier.nebis
005157650
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-19T13:05:40Z
ethz.source
ECIT
ethz.identifier.importid
imp59364b3da7cf810506
ethz.ecitpid
pub:11173
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-26T21:32:39Z
ethz.rosetta.lastUpdated
2018-11-05T11:40:04Z
ethz.rosetta.exportRequired
true
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Symbolic%20and%20Cryptographic%20Analysis%20of%20the%20Secure%20WS-ReliableMessaging%20Scenario&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2006&rft.volume=3921&rft.spage=428&rft.epage=445&rft.issn=0302-9743&1611-3349&rft.au=Backes,%20Michael&M%C3%B6dersheim,%20Sebastian&Pfitzmann,%20Birgit&Vigan%C3%B2,%20Luca&rft.isbn=978-3-540-33045-5&3-540-33045-3&978-3-540-33046-2&3-540-33046-1&rft.genre=proceeding&rft_id=info:doi/978-3-540-33045-5&info:doi/3-540-33045-3&info:doi/978-3-540-33046-2&info:doi/3-540-33046-1&rft.btitle=Foundations%20of%20software%20science%20and%20computation%20structures%20:%209th%20international%20conference%20:%20proceedings
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record