Sciweavers

492 search results - page 4 / 99
» Encrypted Shared Data Spaces
Sort
View
ACSD
2003
IEEE
87views Hardware» more  ACSD 2003»
14 years 25 days ago
Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems
This paper proposes a formal framework for the design of real-time shared data-space systems. The proposed method separates the concerns of functionality, behavior, and timing. Th...
Mohammad Reza Mousavi, Michel A. Reniers, Twan Bas...
GLVLSI
1998
IEEE
122views VLSI» more  GLVLSI 1998»
13 years 11 months ago
Sharing Electronic Design Data Via Semantic Spaces
Karen C. Davis, Satish Venkatesan, Lois M. L. Delc...
APPROX
2004
Springer
121views Algorithms» more  APPROX 2004»
14 years 28 days ago
Small Pseudo-random Families of Matrices: Derandomizing Approximate Quantum Encryption
A quantum encryption scheme (also called private quantum channel, or state randomization protocol) is a one-time pad for quantum messages. If two parties share a classical random s...
Andris Ambainis, Adam Smith
DASFAA
2009
IEEE
193views Database» more  DASFAA 2009»
13 years 10 months ago
Encryption over Semi-trusted Database
—Database security has become a vital issue in modern Web applications. Critical business data in databases is an evident target for attack. Therefore, ensuring the confidentiali...
Hasan Kadhem, Toshiyuki Amagasa, Hiroyuki Kitagawa