5488 search results - page 666 / 1098 » On the Secure Implementation of Security Protocols |
145
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
For many storage providers, the cost of providing service calls exceeds the costs of the hardware being serviced. In this paper, we show that zeromaintenance, small disk arrays ar...
170
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
Interrupt-driven communication with hardware devices can be exploited for establishing covert channels. In this article, we propose an information-theoretic framework for analyzin...
181
click to vote
ACSAC
2006
IEEE
16 years 26 days ago
2006
IEEE
In this paper we present an efficient countermeasure against stack smashing attacks. Our countermeasure does not rely on secret values (such as canaries) and protects against att...
163
click to vote
CSFW
2006
IEEE
16 years 26 days ago
2006
IEEE
We present a constructive authorization logic where the meanings of connectives are defined by their associated inference rules. This ensures that the logical reading of access c...
155
click to vote
ESAW
2003
Springer
16 years 18 hour ago
2003
Springer
We outline a model for a society of agents based upon one of the classical theories of sociology: The Weber’s model. We first investigate its links to agent technology through i...