Modeling and reasoning about an attacker with cryptanalytical capabilities

Metadata only

Author

Date

2009-11-01

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Journal / series

Electronic notes in theoretical computer science

Volume

253(3)

Pages / Article No.

143 - 165

Publisher

Elsevier

Event

Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009), York, UK, March 28-29, 2009

Subject

Security protocol; attacker; probabilistic statement; cryptographic property; Shannon entropy

Organisational unit

03634 - Basin, David / Basin, David

Notes

Available online 20 October 2009.

More

ETH Bibliography

yes

Altmetrics

Research Collection