Sciweavers

80 search results - page 2 / 16
» ifip 2009
Sort
View
101
Voted
IFIP
2009
Springer
15 years 10 months ago
Integrating Automated and Interactive Protocol Verification
Achim D. Brucker, Sebastian Mödersheim
89
Voted
IFIP
2009
Springer
15 years 8 months ago
On Hard and Soft Models to Analyze Trust Life Cycle for Mediating Collaboration
Simon Samwel Msanjila, Hamideh Afsarmanesh
IFIP
2009
Springer
15 years 8 months ago
Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties
Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier