Sciweavers

4111 search results - page 263 / 823
» Security, Protocols, and Trust
Sort
View
CORR
2009
Springer
71views Education» more  CORR 2009»
15 years 5 months ago
Heuristic Methods for Security Protocols
Qurat ul Ain Nizamani, Emilio Tuosto
CORR
2010
Springer
64views Education» more  CORR 2010»
15 years 2 months ago
A Spatial-Epistemic Logic for Reasoning about Security Protocols
Bernardo Toninho, Luís Caires
TDSC
2011
15 years 2 months ago
Securing Topology Maintenance Protocols for Sensor Networks
Andrea Gabrielli, Luigi V. Mancini, Sanjeev Setia,...