Back to Search
Start Over
Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols
- Publication Year :
- 2010
Details
- Database :
- OpenAIRE
- Accession number :
- edsair.ec.fp7.ict....be12712d22fa1c8492d7ade9b2ea0024
- Full Text :
- https://doi.org/10.3233/JCS-2009-0351