Sciweavers

82 search results - page 2 / 17
» ifip 2010
Sort
View
IFIP
2010
Springer
14 years 4 months ago
AnBx - Security Protocols Design and Verification
Michele Bugliesi, Paolo Modesti