6195 search results - page 176 / 1239 » Cloud Computing Security |
130
click to vote
ICIDS
2010
Springer
15 years 3 months ago
2010
Springer
The author summarizes his experience creating a story-based simulation from raw documentary footage taken in the aftermath of the 2010 earthquake in Haiti. The use of Propp’s typ...
145
click to vote
TCC
2004
Springer
15 years 9 months ago
2004
Springer
Quantum 2-party cryptography differs from its classical counterpart in at least one important way: Given blak-box access to a perfect commitment scheme there exists a secure 1−2...
119
click to vote
ICTAC
2009
Springer
15 years 11 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
128
click to vote
JPDC
2006
15 years 4 months ago
2006
We introduce Virtual Leashing,1 a new technique for software protection and control. The leashing process removes small fragments of code, pervasive throughout the application, an...
177
click to vote
IJNSEC
2008
15 years 4 months ago
2008
Most of the current security architectures for grid systems use conventional public key infrastructure (PKI) to authenticate grid members and to secure resource allocation to thes...