1342 search results - page 106 / 269 » Attacks are Protocols Too |
159
click to vote
IEEEARES
2007
IEEE
16 years 24 days ago
2007
IEEE
The use of one-way chains in authentication protocols is a technique of great importance which has many applications. Employing cryptographic techniques in the area of industrial ...
182
click to vote
CSFW
2006
IEEE
16 years 17 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
166
click to vote
ESORICS
2005
Springer
16 years 1 days ago
2005
Springer
Security protocols are critical for protecting modern communication infrastructures and are therefore subject to thorough analysis. However practical implementations of these proto...
189
click to vote
SMI
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents a benchmarking system for the evaluation of robust mesh watermarking methods. The proposed benchmark has three different components: a "standard" mesh...
158
click to vote
IPPS
2007
IEEE
16 years 24 days ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...