Deciding security properties for cryptographic protocols
Application to key cycles
dc.contributor.author
Comon-Lundh, Hubert
dc.contributor.author
Cortier, Véronique
dc.contributor.author
Zălinescu, Eugen
dc.date.accessioned
2017-06-14T16:48:08Z
dc.date.available
2017-06-14T16:48:08Z
dc.date.issued
2010-01
dc.identifier.issn
1529-3785
dc.identifier.issn
1557-945X
dc.identifier.other
10.1145/1656242.1656244
dc.identifier.uri
http://hdl.handle.net/20.500.11850/159486
dc.language.iso
en
dc.publisher
Association for Computing Machinery
dc.title
Deciding security properties for cryptographic protocols
dc.type
Journal Article
ethz.title.subtitle
Application to key cycles
ethz.journal.title
ACM Transactions on Computational Logic
ethz.journal.volume
11
ethz.journal.issue
2
ethz.journal.abbreviated
ACM trans. comput. log.
ethz.pages.start
9
ethz.size
42 p.
ethz.notes
Received August 2007, Accepted April 2008.
ethz.identifier.nebis
004019923
ethz.publication.place
New York, NY
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-14T16:49:21Z
ethz.source
ECIT
ethz.identifier.importid
imp59364d5bb8cc746474
ethz.ecitpid
pub:43840
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-15T04:16:31Z
ethz.rosetta.lastUpdated
2024-02-02T01:41:53Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Deciding%20security%20properties%20for%20cryptographic%20protocols&rft.jtitle=ACM%20Transactions%20on%20Computational%20Logic&rft.date=2010-01&rft.volume=11&rft.issue=2&rft.spage=9&rft.issn=1529-3785&1557-945X&rft.au=Comon-Lundh,%20Hubert&Cortier,%20V%C3%A9ronique&Z%C4%83linescu,%20Eugen&rft.genre=article&rft_id=info:doi/10.1145/1656242.1656244&
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Journal Article [130627]