631 search results - page 31 / 127 » Intrusion-Resilient Secure Channels |
154
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
147
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, new inner and outer bounds on the achievable compression-equivocation rate region for generalized secure data compression with side information are given that do not...
121
Voted
VTS
2007
IEEE
15 years 10 months ago
2007
IEEE
Attack resistance has been a critical concern for security-related applications. Various side-channel attacks can be launched to retrieve security information such as encryption k...
149
click to vote
FSE
2005
Springer
15 years 9 months ago
2005
Springer
So far, efficient algorithmic countermeasures to secure the AES algorithm against (first-order) differential side-channel attacks have been very expensive to implement. In this a...
128
click to vote
SP
1996
IEEE
15 years 8 months ago
1996
IEEE
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...