Sciweavers

3115 search results - page 125 / 623
» Synthesizing Secure Protocols
Sort
View
151
Voted
TDSC
2011
14 years 10 months ago
Securing Topology Maintenance Protocols for Sensor Networks
Andrea Gabrielli, Luigi V. Mancini, Sanjeev Setia,...
141
Voted
ECCC
2011
223views ECommerce» more  ECCC 2011»
14 years 10 months ago
A Full Proof of the BGW Protocol for Perfectly-Secure Multiparty Computation
Gilad Asharov, Yehuda Lindell
74
Voted
IFIP
2010
Springer
14 years 10 months ago
AnBx - Security Protocols Design and Verification
Michele Bugliesi, Paolo Modesti
132
Voted
IFIP
2010
Springer
14 years 10 months ago
Security Analysis of the MPLS Label Distribution Protocol
Daniel Guernsey, Aaron Engel, Jonathan Butts, Suje...
81
Voted
JNCA
2010
85views more  JNCA 2010»
14 years 10 months ago
Adaptive security protocol selection for mobile computing
Bruno P. S. Rocha, Daniel N. O. Costa, Rande A. Mo...