1834 search results - page 204 / 367 » Public Key Cryptography |
122
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...
132
click to vote
IMECS
2007
15 years 5 months ago
2007
— This paper proposes an authentication approach to support multi-clients in using a multi-application based environment. The approach is primarily based on the public key infras...
127
click to vote
IJFCS
2007
15 years 4 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
120
click to vote
MMMACNS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Partner key management (PKM) is an interoperable credential management protocol for online commercial transactions of high value. PKM reinterprets traditional public key ...
114
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Senior executives in public sector organisations have been charged with delivering an e-Government agenda. A key emerging area of research is that of the evaluation of e-Governmen...