Deconstructing Alice and Bob

Metadata only

Author

Date

2005-07

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Journal / series

Electronic notes in theoretical computer science

Volume

135(1)

Pages / Article No.

3 - 22

Publisher

Elsevier

Event

Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005), Lisbon, Portugal, July 16, 2005

Subject

Security protocols; Protocol models; Alice and Bob notation; Control flow; Message forwarding; Protocol abortion

Organisational unit

03634 - Basin, David / Basin, David

More

ETH Bibliography

yes

Altmetrics

Research Collection