Transducer-based analysis of cryptographic protocols
dc.contributor.author
Kuesters, Ralf
dc.contributor.author
Wilke, Thomas
dc.date.accessioned
2017-06-10T11:05:59Z
dc.date.available
2017-06-10T11:05:59Z
dc.date.issued
2007-12
dc.identifier.issn
0890-5401
dc.identifier.other
10.1016/j.ic.2007.08.003
dc.identifier.uri
http://hdl.handle.net/20.500.11850/58581
dc.language.iso
en
dc.publisher
Elsevier
dc.subject
Cryptographic protocols
dc.subject
Automatic analysis
dc.subject
Decidability
dc.subject
Transducers
dc.title
Transducer-based analysis of cryptographic protocols
dc.type
Journal Article
ethz.journal.title
Information and Computation
ethz.journal.volume
205
ethz.journal.issue
12
ethz.journal.abbreviated
Inf. comput.
ethz.pages.start
1741
ethz.pages.end
1776
ethz.notes
Received 14 March 2006, Revised 31 July 2007, Published online 14 September 2007.
ethz.identifier.wos
ethz.identifier.nebis
000037003
ethz.publication.place
Amsterdam
ethz.publication.status
published
ethz.date.deposited
2017-06-10T11:07:15Z
ethz.source
ECIT
ethz.identifier.importid
imp59364ffd86c1350638
ethz.ecitpid
pub:93589
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T11:28:11Z
ethz.rosetta.lastUpdated
2020-02-14T10:56:37Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Transducer-based%20analysis%20of%20cryptographic%20protocols&rft.jtitle=Information%20and%20Computation&rft.date=2007-12&rft.volume=205&rft.issue=12&rft.spage=1741&rft.epage=1776&rft.issn=0890-5401&rft.au=Kuesters,%20Ralf&Wilke,%20Thomas&rft.genre=article&rft_id=info:doi/10.1016/j.ic.2007.08.003&
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Journal Article [130176]