2303 search results - page 145 / 461 » The Cryptographic Abstract Machine |
135
click to vote
CCS
2004
ACM
15 years 11 months ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
187
click to vote
TCC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
171
click to vote
MMMACNS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
169
click to vote
JCP
2007
15 years 6 months ago
2007
Abstract— Side channel attacks such as Simple Power Analysis(SPA) attacks provide a new challenge for securing algorithms from an attacker. Algorithms for elliptic curve point sc...
192
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—In Wireless Sensor Networks (WSNs), authentication is a crucial security requirement to avoid attacks against secure communication, and to mitigate DoS attacks exploitin...