Sciweavers

3115 search results - page 125 / 623
» Synthesizing Secure Protocols
Sort
View
159
Voted
TDSC
2011
14 years 11 months ago
Securing Topology Maintenance Protocols for Sensor Networks
Andrea Gabrielli, Luigi V. Mancini, Sanjeev Setia,...
77
Voted
IFIP
2010
Springer
14 years 11 months ago
AnBx - Security Protocols Design and Verification
Michele Bugliesi, Paolo Modesti
135
Voted
IFIP
2010
Springer
14 years 11 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 11 months ago
Adaptive security protocol selection for mobile computing
Bruno P. S. Rocha, Daniel N. O. Costa, Rande A. Mo...