461 search results - page 53 / 93 » Developing security protocols by refinement |
WWW
2009
ACM
14 years 8 months ago
2009
ACM
We developed a new Web authentication protocol with passwordbased mutual authentication which prevents various kinds of phishing attacks. This protocol provides a protection of us...
IEEEARES
2008
IEEE
14 years 2 months ago
2008
IEEE
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...
CANS
2006
Springer
13 years 11 months ago
2006
Springer
Pairings on elliptic curves have been used as cryptographic primitives for the development of new applications such as identity based schemes. For the practical applications, it is...
ESORICS
2008
Springer
13 years 9 months ago
2008
Springer
In this paper we consider the problem of securely outsourcing computation on private data. We present a protocol for securely distributing the computation of the data structures u...
DAC
2004
ACM
14 years 8 months ago
2004
ACM
The growing number of instances of breaches in information security in the last few years has created a compelling case for efforts towards secure electronic systems. Embedded sys...