Sciweavers

3115 search results - page 122 / 623
» Synthesizing Secure Protocols
Sort
View
JISE
2006
37views more  JISE 2006»
15 years 3 months ago
Secure Authentication Protocols Resistant to Guessing Attacks
Jia-Ning Luo, Shiuh-Pyng Shieh, Ji-Chiang Shen
TISSEC
2008
80views more  TISSEC 2008»
15 years 3 months ago
ODSBR: An on-demand secure Byzantine resilient routing protocol for wireless ad hoc networks
Baruch Awerbuch, Reza Curtmola, David Holmer, Cris...
91
Voted
JCS
2007
69views more  JCS 2007»
15 years 3 months ago
Timed analysis of security protocols
Ricardo Corin, Sandro Etalle, Pieter H. Hartel, An...
96
Voted
CI
2004
95views more  CI 2004»
15 years 3 months ago
Automated Design of Security Protocols
Hao Chen, John A. Clark, Jeremy L. Jacob