A framework for compositional verification of security protocols

Metadata only

Author

Date

2008

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Journal / series

Information and Computation

Volume

206(2-4)

Pages / Article No.

425 - 459

Publisher

Elsevier

Event

Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis, Seattle, WA, USA, August 15-16, 2006

Subject

Compositionality; Security protocols; Automatic verification; WiMAX; Security properties; Authentication; Confidentiality; Semantics

Organisational unit

03634 - Basin, David / Basin, David

Notes

Received 10 November 2006, Revised 29 April 2007, Available online 28 November 2007.

More

ETH Bibliography

yes

Altmetrics

Research Collection