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

Metadata only

Author

Basin, David

Mödersheim, Sebastian

Viganò, Luca

Date

2003

Type

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Atluri, Vijay

Liu, Peng

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

Notes

.

More

ETH Bibliography

yes

Altmetrics

Research Collection