115 search results - page 2 / 23 » Verifying authentication protocols with CSP |
CCS
2008
ACM
13 years 7 months ago
2008
ACM
We describe reference implementations for selected configurations of the user authentication protocol defined by the Information Card
TPHOL
2003
IEEE
13 years 10 months ago
2003
IEEE
Abstract. A second-level security protocol is defined as a security protocol that relies on an underlying security protocol in order to achieve its goals. The verification of cla...
IJNSEC
2008
13 years 5 months ago
2008
In this paper we propose an authenticated key agreement, which works in a braid group. We prove that our protocol meet the security attributes under the assumption that the Conjug...
ATVA
2008
Springer
13 years 7 months ago
2008
Springer
Authentication and secrecy have been widely investigated in security protocols. They are closely related to each other and variants of definitions have been proposed, which focus o...
IEEEARES
2007
IEEE
13 years 11 months ago
2007
IEEE