Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols
- Sebastian Mödersheim
- Luca Viganò
- et al.
- 2010
- Journal of Computer Security
Publications
Date
Featured collections
Popular topics
1 result for Luca Viganò