Limits of the BRSIM/UC soundness of Dolev–Yao-style XOR.
- Published in:
- International Journal of Information Security, 2008, v. 7, n. 1, p. 33, doi. 10.1007/s10207-007-0040-z
- By:
- Publication type:
- Article
Works matching IS 16155262 AND DT 2008 AND VI 7 AND IP 1
Results: 5
1
2
Preface.
- Published in:
- International Journal of Information Security, 2008, v. 7, n. 1, p. 1, doi. 10.1007/s10207-007-0038-6
- By:
- Publication type:
- Article
3
Bayesian rational exchange.
- Published in:
- International Journal of Information Security, 2008, v. 7, n. 1, p. 85, doi. 10.1007/s10207-007-0039-5
- By:
- Publication type:
- Article
4
A symbolic framework for multi-faceted security protocol analysis.
- Published in:
- International Journal of Information Security, 2008, v. 7, n. 1, p. 55, doi. 10.1007/s10207-007-0043-9
- By:
- Publication type:
- Article
5
SAT-based model-checking for security protocols analysis.
- Published in:
- International Journal of Information Security, 2008, v. 7, n. 1, p. 3, doi. 10.1007/s10207-007-0041-y
- By:
- Publication type:
- Article