Comparing State Spaces in Automatic Security Protocol Verification

Metadata only

Author

Date

2007

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

Publisher

7th International Workshop on Automated Verification of Critical Systems (AVoCS'07)

Event

7th International Workshop on Automated Verification of Critical Systems (AVoCS'07), Oxford, UK, September 10-12, 2007

Subject

Automatic Verification; Security Protocol; State Space; Performance; Tools

Organisational unit

03634 - Basin, David / Basin, David

More

ETH Bibliography

yes

Altmetrics

Research Collection