609 search results - page 17 / 122 » Modelling and Checking Timed Authentication of Security Prot... |
IADIS
2003
13 years 9 months ago
2003
As an open source project, Open Simple Secure Transaction (OpenSST) protocol aims to be a secure and transactionoriented protocol for the unsecured network. At present a prototype...
FM
2003
Springer
14 years 1 months ago
2003
Springer
FOCS
2010
IEEE
13 years 5 months ago
2010
IEEE
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...
SP
2006
IEEE
14 years 1 months ago
2006
IEEE
Can we secure user authentication against eavesdropping adversaries, relying on human cognitive functions alone, unassisted by any external computational device? To accomplish thi...
IMA
1997
Springer
13 years 12 months ago
1997
Springer
This paper proposes new protocols for two goals: authenticated key agreement and authenticated key agreement with key con rmation in the asymmetric public-key setting. A formalm...