297 search results - page 33 / 60 » Formal Analysis of a Non-Repudiation Protocol |
ASIACRYPT
2004
Springer
14 years 1 months ago
2004
Springer
We investigate efficient protocols for password-authenticated key exchange based on the RSA public-key cryptosystem. To date, most of the published protocols for password-authentic...
PERCOM
2007
ACM
14 years 7 months ago
2007
ACM
Group Key Agreement (GKA) protocols enable the participants to derive a key based on each one's contribution over a public network without any central authority. They also pr...
SOCO
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
LICS
1999
IEEE
13 years 12 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
WOTUG
2007
13 years 8 months ago
2007
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...