Show simple item record

dc.contributor.author
Kuesters, Ralf
dc.contributor.author
Truderung, Tomasz
dc.date.accessioned
2017-06-10T17:58:09Z
dc.date.available
2017-06-10T17:58:09Z
dc.date.issued
2007
dc.identifier.isbn
978-3-540-70917-6
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.uri
http://hdl.handle.net/20.500.11850/67944
dc.language.iso
en
dc.publisher
Springer
dc.title
On the automatic analysis of recursive security protocols with XOR
dc.type
Other Conference Item
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
4393
ethz.journal.abbreviated
LNCS
ethz.pages.start
646
ethz.pages.end
657
ethz.event
24th Annual Symposium on Theoretical Aspects of Computer Science
ethz.event.location
Aachen, Germany
ethz.event.date
February 22-24, 2007
ethz.notes
.
ethz.identifier.wos
ethz.identifier.nebis
004701431
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.date.deposited
2017-06-10T17:59:30Z
ethz.source
ECIT
ethz.identifier.importid
imp593650af1a32984222
ethz.ecitpid
pub:108026
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-13T18:03:12Z
ethz.rosetta.lastUpdated
2020-02-14T12:08:21Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=On%20the%20automatic%20analysis%20of%20recursive%20security%20protocols%20with%20XOR&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2007&rft.volume=4393&rft.spage=646&rft.epage=657&rft.issn=0302-9743&1611-3349&rft.au=Kuesters,%20Ralf&Truderung,%20Tomasz&rft.isbn=978-3-540-70917-6&rft.genre=unknown&rft_id=info:doi/978-3-540-70917-6&
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record