Automated security protocol analysis with the AVISPA tool
dc.contributor.author
Viganò, Luca
dc.date.accessioned
2017-06-19T13:03:30Z
dc.date.available
2017-06-19T13:03:30Z
dc.date.issued
2006
dc.identifier.issn
1571-0661
dc.identifier.other
10.1016/j.entcs.2005.11.052
dc.identifier.uri
http://hdl.handle.net/20.500.11850/161537
dc.language.iso
en
dc.publisher
Elsevier
dc.subject
Security protocols
dc.subject
protocol models
dc.subject
automated protocol validation
dc.title
Automated security protocol analysis with the AVISPA tool
dc.type
Conference Paper
ethz.journal.title
Electronic notes in theoretical computer science
ethz.journal.volume
155
ethz.pages.start
61
ethz.pages.end
86
ethz.event
21st Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXI)
ethz.event.date
May 18-21, 2005
ethz.notes
Available online 10 May 2006.
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-19T13:05:40Z
ethz.source
ECIT
ethz.identifier.importid
imp59364b4283f8a73387
ethz.ecitpid
pub:11465
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-26T21:28:21Z
ethz.rosetta.lastUpdated
2023-02-06T14:10:50Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Automated%20security%20protocol%20analysis%20with%20the%20AVISPA%20tool&rft.jtitle=Electronic%20notes%20in%20theoretical%20computer%20science&rft.date=2006&rft.volume=155&rft.spage=61&rft.epage=86&rft.issn=1571-0661&rft.au=Vigan%C3%B2,%20Luca&rft.genre=proceeding&rft_id=info:doi/10.1016/j.entcs.2005.11.052&
Dateien zu diesem Eintrag
| Dateien | Größe | Format | Im Viewer öffnen |
|---|---|---|---|
|
Zu diesem Eintrag gibt es keine Dateien. |
|||
Publikationstyp
-
Conference Paper [34989]