Sciweavers

3115 search results - page 120 / 623
» Synthesizing Secure Protocols
Sort
View
SEC
1992
15 years 1 months ago
Cryptographic Protocols and Network Security
Patrick Horster, Hans-Joachim Knobloch
57
Voted
FSTTCS
2008
Springer
15 years 1 months ago
About models of security protocols
Hubert Comon-Lundh
DEDS
2008
88views more  DEDS 2008»
15 years 3 days ago
Analyzing Security Protocols Using Time-Bounded Task-PIOAs
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Mos...
COMCOM
2006
88views more  COMCOM 2006»
15 years 2 days ago
A lightweight secure protocol for wireless sensor networks
Bo Sun, Chung-Chih Li, Kui Wu, Yang Xiao