460 search results - page 14 / 92 » Heuristic Methods for Security Protocols |
FORTE
2004
13 years 9 months ago
2004
Abstract. In this article we present a method to avoid security problems in modern m-commerce applications. The security problems that we are addressing are breaches of security du...
CAV
2005
Springer
14 years 1 months ago
2005
Springer
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
The design of ubiquitous and embedded computers focuses on cost factors such as area, power-consumption, and performance. Security and trust properties, on the other hand, are oft...
AINA
2007
IEEE
14 years 2 months ago
2007
IEEE
We propose a four-party password authenticated interdomain key exchange protocol which makes use of properties of identity-based cryptography and secret public keys. Being passwor...
JCS
2010
13 years 2 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...