Show simple item record

dc.contributor.author
Caleiro, Carlos
dc.contributor.author
Viganò, Luca
dc.contributor.author
Basin, David
dc.contributor.editor
Degano, Pierpaolo
dc.contributor.editor
Viganò, Luca
dc.date.accessioned
2017-06-08T15:22:02Z
dc.date.available
2017-06-08T15:22:02Z
dc.date.issued
2006
dc.identifier.issn
0304-3975
dc.identifier.other
10.1016/j.tcs.2006.08.041
dc.identifier.uri
http://hdl.handle.net/20.500.11850/1027
dc.language.iso
en
dc.publisher
Elsevier
dc.subject
Security protocols
dc.subject
Protocol models
dc.subject
Message sequences
dc.subject
Alice&Bob specifications
dc.subject
Spi calculus
dc.title
On the semantics of Alice&Bob specifications of security protocols
dc.type
Journal Article
ethz.book.title
Automated reasoning for security protocol analysis
ethz.journal.title
Theoretical Computer Science
ethz.journal.volume
367
ethz.journal.issue
1-2
ethz.journal.abbreviated
Theor. comp. sci.
ethz.pages.start
88
ethz.pages.end
122
ethz.event
2nd Workshop on automated reasoning for security protocol analysis
ethz.event.location
Lisboa, Portugal
ethz.event.date
July 16, 2005
ethz.notes
Available online 16 September 2006.
ethz.identifier.nebis
000018618
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::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-08T15:22:17Z
ethz.source
ECIT
ethz.identifier.importid
imp59364b36cd05976882
ethz.ecitpid
pub:10802
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T18:30:50Z
ethz.rosetta.lastUpdated
2018-10-01T03:23:25Z
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=On%20the%20semantics%20of%20Alice&Bob%20specifications%20of%20security%20protocols&rft.jtitle=Theoretical%20Computer%20Science&rft.date=2006&rft.volume=367&rft.issue=1-2&rft.spage=88&rft.epage=122&rft.issn=0304-3975&rft.au=Caleiro,%20Carlos&Vigan%C3%B2,%20Luca&Basin,%20David&rft.genre=article&rft.btitle=Automated%20reasoning%20for%20security%20protocol%20analysis
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record