Sciweavers

4111 search results - page 256 / 823
» Security, Protocols, and Trust
Sort
View
86
Voted
FM
2003
Springer
115views Formal Methods» more  FM 2003»
15 years 6 months ago
SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis
Alessandro Armando, Luca Compagna, Pierre Ganty
61
Voted
ISCC
2002
IEEE
15 years 5 months ago
An active security protocol against DoS attacks
Domenico Cotroneo, L. Peluso, Simon Pietro Romano,...
NDSS
1997
IEEE
15 years 5 months ago
Securing Distance-Vector Routing Protocols
Bradley R. Smith, Shree Murthy, J. J. Garcia-Luna-...
83
Voted
AC
1997
Springer
15 years 5 months ago
Internet Security Protocols
Walter Fumy
104
Voted
SRDS
1993
IEEE
15 years 4 months ago
A Secure Two Phase Locking Protocol
Rasikan David, Sang Hyuk Son