2015
DOI: 10.1007/978-3-662-46666-7_10
|View full text |Cite
|
Sign up to set email alerts
|

Leakiness is Decidable for Well-Founded Protocols

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
24
0

Year Published

2015
2015
2022
2022

Publication Types

Select...
2
2
1

Relationship

0
5

Authors

Journals

citations
Cited by 6 publications
(24 citation statements)
references
References 17 publications
0
24
0
Order By: Relevance
“…We provide in Section V-C a detailed comparison with our result. In brief, our result are incomparable since [15] considers a larger class of primitives but a less accurate security property and more restriction on the protocols (e.g. ciphertext forwarding is again prohibited and as in [12] a typed model is considered).…”
Section: Introductionmentioning
confidence: 88%
See 4 more Smart Citations
“…We provide in Section V-C a detailed comparison with our result. In brief, our result are incomparable since [15] considers a larger class of primitives but a less accurate security property and more restriction on the protocols (e.g. ciphertext forwarding is again prohibited and as in [12] a typed model is considered).…”
Section: Introductionmentioning
confidence: 88%
“…Dougherty and Guttman [14] have recently proposed a decidability result dedicated to Diffie-Hellman protocols. Contemporaneously to our work, Sybille Fröschle [15] has proposed a new decidability result for the "leakiness" property and the class of "well-founded protocols". We provide in Section V-C a detailed comparison with our result.…”
Section: Introductionmentioning
confidence: 93%
See 3 more Smart Citations