Computational Soundness of Coinductive Symbolic Security under Active Attacks (Q4910297)
From MaRDI portal
scientific article; zbMATH DE number 6145753
Language | Label | Description | Also known as |
---|---|---|---|
English | Computational Soundness of Coinductive Symbolic Security under Active Attacks |
scientific article; zbMATH DE number 6145753 |
Statements
Computational Soundness of Coinductive Symbolic Security under Active Attacks (English)
0 references
18 March 2013
0 references
computational soundness
0 references
adaptive corruptions
0 references
coinduction
0 references
circular security
0 references
trace-based protocol security
0 references
active adversaries
0 references