Sciweavers

204 search results - page 9 / 41
» el 2006
Sort
View
DAGSTUHL
2006
14 years 11 months ago
Towards bounded wait-free PASIS
d abstract) Michael Abd-El-Malek, Gregory R. Ganger, Garth R. Goodson, Michael K. Reiter, Jay J. Wylie
Michael Abd-El-Malek, Gregory R. Ganger, Garth R. ...
87
Voted
ATAL
2006
Springer
15 years 1 months ago
Complexity and succinctness of public announcement logic
There is a recent trend of extending epistemic logic (EL) with dynamic operators that allow to express the evolution of knowledge and induced by knowledge-changing actions. The mo...
Carsten Lutz
ACMSE
2006
ACM
15 years 1 months ago
A speech recognition and synthesis tool
Many of the new technologies designed to help worldwide communication
Hala ElAarag, Laura Schindler
IJNSEC
2006
80views more  IJNSEC 2006»
14 years 10 months ago
A Forward-Secure User Authentication Scheme with Smart Cards
In 2004, Yoon et al. proposed a user authentication scheme based on generalized ElGamal signature scheme using smart cards. In their scheme, the previous session keys will be comp...
Bin Wang, Zheng-Quan Li
CSREASAM
2006
14 years 11 months ago
Finding Minimum Optimal Path Securely Using Homomorphic Encryption Schemes in Computer Networks
- In this paper we find a secure routing protocol for computer networks, which finds minimum optimum path using homomorphic encryption schemes. We briefly look into the existing ho...
Levent Ertaul, Vaidehi Kedlaya