3451 search results - page 507 / 691 » Security of Backup Data |
176
click to vote
JUCS
2008
15 years 6 months ago
2008
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...
169
click to vote
IJNSEC
2007
15 years 6 months ago
2007
The ability of communicating with a selected party anonymously is an important aspect of network security. Communicating anonymously means that no adversary can discern who is com...
171
click to vote
SP
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents a predictable and quantifiable approach to designing a covert communication system capable of effectively exploiting covert channels found in the various layer...
139
click to vote
SP
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a novel eavesdropping technique for spying at a distance on data that is displayed on an arbitrary computer screen, including the currently prevalent LCD monitors. Our ...
193
click to vote
SP
2008
IEEE
15 years 6 months ago
2008
IEEE
The integration of scalable performance analysis in parallel development tools is difficult. The potential size of data sets and the need to compare results from multiple experime...