Constraint Differentiation: A New Reduction Technique for Constraint-Based Analysis of Security Protocols

Metadata only

Author

Date

2003

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Book title

Proceedings of the 10th ACM Conference on Computer and Communications Security

Pages / Article No.

335 - 344

Publisher

The Association for Computing Machinery

Event

10th ACM Conference on Computer and Communications Security (CCS 2003), Washington, DC, USA, October 27-31, 2003

Subject

Protocol Verification; Constraints; Partial-Order Reduction

Organisational unit

03634 - Basin, David / Basin, David

More

ETH Bibliography

yes

Altmetrics

Research Collection