659 search results - page 42 / 132 » Compiling and securing cryptographic protocols |
RTA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We consider the problem of deciding the security of cryptographic protocols for a bounded number of sessions, taking into account some algebraic properties of the securit...
110
click to vote
CRYPTO
2003
Springer
15 years 5 months ago
2003
Springer
We consider the fundamental problem of authenticated group key exchange among n parties within a larger and insecure public network. A number of solutions to this problem have bee...
102
Voted
SECPERU
2006
IEEE
15 years 6 months ago
2006
IEEE
The objective of this paper is to propose a cryptographic protocol which provides authenticity in the exchange of information between two entities without using any shared secret ...
95
Voted
IPL
2006
15 years 13 days ago
2006
We present complexity results for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebr...
109
Voted
IEEEARES
2007
IEEE
15 years 6 months ago
2007
IEEE
In [7] we have proposed a model for the robust and private evaluation of a function within a group of cooperating mobile agents, called an agent Alliance. The model has been given...