1059 search results - page 41 / 212 » Modeling Security Protocols as Games |
IWSEC
2007
Springer
14 years 2 months ago
2007
Springer
At Indocrypt 2005, Viet et al., [22] have proposed an anonymous password-authenticated key exchange (PAKE) protocol and its threshold construction both of which are designed for cl...
IEEEARES
2007
IEEE
14 years 3 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...
CSFW
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...
IJSN
2007
13 years 8 months ago
2007
: McCullagh and Barreto presented an identity-based authenticated key agreement protocol in CT-RSA 2005. Their protocol was found to be vulnerable to a key-compromise impersonation...
CCS
2001
ACM
14 years 1 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...