1490 search results - page 118 / 298 » The Logic of Authentication Protocols |
ACNS
2008
Springer
13 years 11 months ago
2008
Springer
The conjugacy search problem in a group G is the problem of recovering an x G from given g G and h = x-1 gx. The alleged computational hardness of this problem in some groups was...
DSN
2009
IEEE
14 years 3 months ago
2009
IEEE
Security protocols are not as secure as we assumed. In this paper, we identified a practical way to launch DoS attacks on security protocols by triggering exceptions. Through exp...
IEEEARES
2010
IEEE
14 years 3 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
IPPS
2007
IEEE
14 years 3 months 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...
ISPA
2007
Springer
14 years 3 months ago
2007
Springer
The intent of this paper is to propose an energy-efficient routing protocol with data transmission security for wireless sensor networks. We create an energy and distance aware sin...