103 search results - page 14 / 21 » Asymmetric Concurrent Signatures |
ICALP
2005
Springer
14 years 7 days ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
IFM
2005
Springer
14 years 6 days ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
ITC
2003
IEEE
13 years 12 months ago
2003
IEEE
In this paper, a new paradigm for designing logic circuits with concurrent error detection (CED) is described. The key idea is to exploit the asymmetric soft error susceptibility ...
MDM
2001
Springer
13 years 11 months ago
2001
Springer
The challenges ensuing from the asymmetric communication capabilities of mobile environments have led to an increased interest in broadcast-based data dissemination. Among the conc...
IPPS
2000
IEEE
13 years 11 months ago
2000
IEEE
Conventional concurrency control protocols are inapplicable in mobile computing environments due to a number of constraints of wireless communications. In this paper, we design a p...