Sciweavers

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