Verifying Implementations of Security Protocols by Refinement

Metadata only

Author

Date

2012

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Book title

Verified Software - Theories, Tools, Experiments : 4th International Conference : Proceedings

Journal / series

Lecture Notes in Computer Science

Volume

7152

Pages / Article No.

50 - 65

Publisher

Springer

Event

4th International Conference on Verified Software: Theories, Tool and Experiments (VSTTE 2012), Philadelphia, PA, USA, January 28-29, 2012

More

ETH Bibliography

yes

Altmetrics

Research Collection