Show simple item record

dc.contributor.author
Basin, David
dc.contributor.author
Caleiro, Carlos
dc.contributor.author
Ramos, Jaime
dc.contributor.author
Viganò, Luca
dc.date.accessioned
2017-06-09T13:20:16Z
dc.date.available
2017-06-09T13:20:16Z
dc.date.issued
2011-07
dc.identifier.issn
0304-3975
dc.identifier.other
10.1016/j.tcs.2011.04.006
dc.identifier.uri
http://hdl.handle.net/20.500.11850/38882
dc.language.iso
en
dc.publisher
Elsevier
dc.subject
Security protocols
dc.subject
Security protocol analysis
dc.subject
Security protocol models
dc.subject
Temporal logic
dc.subject
Distributed temporal logic
dc.title
Distributed temporal logic for the analysis of security protocol models
dc.type
Journal Article
ethz.journal.title
Theoretical Computer Science
ethz.journal.volume
412
ethz.journal.issue
31
ethz.journal.abbreviated
Theor. comp. sci.
ethz.pages.start
4007
ethz.pages.end
4043
ethz.notes
Received 18 April 2010, Revised 22 March 2011, Accepted 3 April 2011, Available online 9 April 2011.
ethz.identifier.wos
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 / 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-09T13:20:19Z
ethz.source
ECIT
ethz.identifier.importid
imp59364e572009682853
ethz.ecitpid
pub:62553
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T17:56:27Z
ethz.rosetta.lastUpdated
2022-03-28T10:01:08Z
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=Distributed%20temporal%20logic%20for%20the%20analysis%20of%20security%20protocol%20models&rft.jtitle=Theoretical%20Computer%20Science&rft.date=2011-07&rft.volume=412&rft.issue=31&rft.spage=4007&rft.epage=4043&rft.issn=0304-3975&rft.au=Basin,%20David&Caleiro,%20Carlos&Ramos,%20Jaime&Vigan%C3%B2,%20Luca&rft.genre=article&rft_id=info:doi/10.1016/j.tcs.2011.04.006&
 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