659 search results - page 42 / 132 » Compiling and securing cryptographic protocols |
149
click to vote
RTA
2009
Springer
16 years 13 days 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...
163
click to vote
CRYPTO
2003
Springer
15 years 11 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...
153
click to vote
SECPERU
2006
IEEE
15 years 12 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 ...
156
click to vote
IPL
2006
15 years 5 months 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...
158
click to vote
IEEEARES
2007
IEEE
16 years 6 days 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...