Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes (Q5862528)
From MaRDI portal
scientific article; zbMATH DE number 7486589
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes |
scientific article; zbMATH DE number 7486589 |
Statements
Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes (English)
0 references
9 March 2022
0 references
