14850 search results - page 2588 / 2970 » The Security of |
170
click to vote
CASSIS
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
142
click to vote
CEAS
2005
Springer
16 years 14 days ago
2005
Springer
We present an architecture called Accredited DomainKeys, which builds on the DomainKeys email authentication infrastructure to address the following questions: • “Did the send...
206
click to vote
CHES
2005
Springer
16 years 14 days ago
2005
Springer
Data remanence is the residual physical representation of data that has been erased or overwritten. In non-volatile programmable devices, such as UV EPROM, EEPROM or Flash, bits ar...
169
click to vote
CIKM
2005
Springer
16 years 14 days ago
2005
Springer
We examine issues in the design of fully dynamic information retrieval systems with support for instantaneous document insertions and deletions. We present one such system and dis...
213
click to vote
CIS
2005
Springer
16 years 14 days ago
2005
Springer
Restrictive blind signatures allow a recipient to receive a blind signature on a message not known to the signer but the choice of message is restricted and must conform to certain...