Comparing State Spaces in Automatic Security Protocol Verification
dc.contributor.author
Cremers, Cas
dc.contributor.author
Lafourcade, Pascal
dc.date.accessioned
2017-06-08T16:27:38Z
dc.date.available
2017-06-08T16:27:38Z
dc.date.issued
2007
dc.identifier.uri
http://hdl.handle.net/20.500.11850/4052
dc.language.iso
en
dc.publisher
7th International Workshop on Automated Verification of Critical Systems (AVoCS'07)
dc.subject
Automatic Verification
dc.subject
Security Protocol
dc.subject
State Space
dc.subject
Performance
dc.subject
Tools
dc.title
Comparing State Spaces in Automatic Security Protocol Verification
dc.type
Conference Paper
ethz.size
15 p.
ethz.event
7th International Workshop on Automated Verification of Critical Systems (AVoCS'07)
ethz.event.location
Oxford, United Kingdom
ethz.event.date
September 10-12, 2007
ethz.publication.place
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-08T16:27:57Z
ethz.source
ECIT
ethz.identifier.importid
imp59364b720601691048
ethz.ecitpid
pub:14148
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T17:34:28Z
ethz.rosetta.lastUpdated
2024-02-01T14:13:57Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Comparing%20State%20Spaces%20in%20Automatic%20Security%20Protocol%20Verification&rft.date=2007&rft.au=Cremers,%20Cas&Lafourcade,%20Pascal&rft.genre=proceeding&rft.btitle=Comparing%20State%20Spaces%20in%20Automatic%20Security%20Protocol%20Verification
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [35277]