Sciweavers

3115 search results - page 125 / 623
» Synthesizing Secure Protocols
Sort
View
TDSC
2011
14 years 4 months ago
Securing Topology Maintenance Protocols for Sensor Networks
Andrea Gabrielli, Luigi V. Mancini, Sanjeev Setia,...
IFIP
2010
Springer
14 years 4 months ago
AnBx - Security Protocols Design and Verification
Michele Bugliesi, Paolo Modesti
IFIP
2010
Springer
14 years 4 months ago
Security Analysis of the MPLS Label Distribution Protocol
Daniel Guernsey, Aaron Engel, Jonathan Butts, Suje...
JNCA
2010
85views more  JNCA 2010»
14 years 4 months ago
Adaptive security protocol selection for mobile computing
Bruno P. S. Rocha, Daniel N. O. Costa, Rande A. Mo...