1222 search results - page 86 / 245 » Verifying a File System Implementation |
107
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
Authentication and secrecy have been widely investigated in security protocols. They are closely related to each other and variants of definitions have been proposed, which focus o...
83
Voted
ISCAS
2005
IEEE
15 years 8 months ago
2005
IEEE
—This paper proposes a programmable geometry engine (GE) reducing the expensive internal buffers and register files of the conventional programmable GEs and sharing datapaths of ...
136
Voted
IEEEIA
2009
15 years 8 days ago
2009
Covert channel attacks utilize shared resources to indirectly transmit sensitive information to unauthorized parties. Current security mechanisms such as SELinux rely on tagging th...
99
Voted
OSDI
2004
ACM
16 years 2 months ago
2004
ACM
A fundamental piece of information required in intelligent storage systems is the liveness of data. We formalize the notion of liveness within storage, and present two classes of ...
132
click to vote
FC
2000
Springer
15 years 6 months ago
2000
Springer
Abstract Two protocols for authentication based on symmetric key cryptography are described, where the verifier can be implemented in software completely, without the need for secu...