Towards a Metalogic for Security Protocol Analysis

Metadata only

Author

Date

2004

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

Editor

Book title

Proceedings of CombLog' 04 : workshop on combination of logics: theory and applications, Lisbon, July 28-30, 2004

Pages / Article No.

187 - 196

Publisher

Center for Logic and Computation Department of Mathematics Instituto Superior Técnico

Event

Workshop on combination of logics: theory and applications (CombLog' 04), Lisbon, Portugal, July 28-30, 2004

Organisational unit

03634 - Basin, David / Basin, David

More

ETH Bibliography

yes

Altmetrics

Research Collection