Preface
dc.contributor.author
Armando, Alessandro
dc.contributor.author
Viganò, Luca
dc.date.accessioned
2017-06-10T03:07:59Z
dc.date.available
2017-06-10T03:07:59Z
dc.date.issued
2005-03
dc.identifier.issn
1571-0661
dc.identifier.other
10.1016/j.entcs.2004.09.035
dc.identifier.uri
http://hdl.handle.net/20.500.11850/52642
dc.language.iso
en
dc.publisher
Elsevier
dc.title
Preface
dc.type
Other Journal Item
ethz.book.title
Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2004)
ethz.journal.title
Electronic Notes in Theoretical Computer Science
ethz.journal.volume
125
ethz.journal.issue
1
ethz.pages.start
1
ethz.pages.end
1
ethz.event
Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2004)
ethz.event.location
Cork, Ireland
ethz.event.date
July 4, 2004
ethz.identifier.nebis
004718541
ethz.publication.place
Amsterdam
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 / Institute of Information Security::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 / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.date.deposited
2017-06-10T03:10:33Z
ethz.source
ECIT
ethz.identifier.importid
imp59364f81f322327091
ethz.ecitpid
pub:85470
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-17T09:59:47Z
ethz.rosetta.lastUpdated
2023-02-06T11:25:07Z
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=Preface&rft.jtitle=Electronic%20Notes%20in%20Theoretical%20Computer%20Science&rft.date=2005-03&rft.volume=125&rft.issue=1&rft.spage=1&rft.epage=1&rft.issn=1571-0661&rft.au=Armando,%20Alessandro&Vigan%C3%B2,%20Luca&rft.genre=unknown&rft_id=info:doi/10.1016/j.entcs.2004.09.035&rft.btitle=Proceedings%20of%20the%20Workshop%20on%20Automated%20Reasoning%20for%20Security%20Protocol%20Analysis%20(ARSPA%202004)
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Other Journal Item [5568]