Show simple item record

dc.contributor.author
Caleiro, Carlos
dc.contributor.author
Vigano, Luca
dc.contributor.author
Basin, David
dc.date.accessioned
2017-06-10T03:07:29Z
dc.date.available
2017-06-10T03:07:29Z
dc.date.issued
2005-07
dc.identifier.issn
1571-0661
dc.identifier.other
10.1016/j.entcs.2005.06.007
dc.identifier.uri
http://hdl.handle.net/20.500.11850/52628
dc.language.iso
en
dc.publisher
Elsevier
dc.subject
Security protocols
dc.subject
Protocol models
dc.subject
Alice and Bob notation
dc.subject
Control flow
dc.subject
Message forwarding
dc.subject
Protocol abortion
dc.title
Deconstructing Alice and Bob
dc.type
Conference Paper
ethz.journal.title
Electronic notes in theoretical computer science
ethz.journal.volume
135
ethz.journal.issue
1
ethz.pages.start
3
ethz.pages.end
22
ethz.event
Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005)
ethz.event.location
Lisbon, Portugal
ethz.event.date
July 16, 2005
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
imp59364f819da8e10299
ethz.ecitpid
pub:85447
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-14T18:43:51Z
ethz.rosetta.lastUpdated
2022-03-28T10:51:04Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Deconstructing%20Alice%20and%20Bob&rft.jtitle=Electronic%20notes%20in%20theoretical%20computer%20science&rft.date=2005-07&rft.volume=135&rft.issue=1&rft.spage=3&rft.epage=22&rft.issn=1571-0661&rft.au=Caleiro,%20Carlos&Vigano,%20Luca&Basin,%20David&rft.genre=proceeding&rft_id=info:doi/10.1016/j.entcs.2005.06.007&
 Search print copy at ETH Library

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record