1183 search results - page 158 / 237 » On flow-sensitive security types |
CHES
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Several types of logic gates suitable for leakage-proof computations have been put forward [1,2,3,4]. This paper describes a method, called “backend duplication” to a...
134
click to vote
ICTAC
2005
Springer
15 years 10 months ago
2005
Springer
It has recently been shown that fair exchange, a security problem in distributed systems, can be reduced to a fault tolerance problem, namely a special form of distributed consensu...
136
click to vote
PET
2005
Springer
15 years 9 months ago
2005
Springer
A basic radio-frequency identification (RFID) tag is a small and inexpensive microchip that emits a static identifier in response to a query from a nearby reader. Basic tags of t...
146
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
With the continuous evolution of the types of attacks against computer networks, traditional intrusion detection systems, based on pattern matching and static signatures, are incr...
137
click to vote
ESORICS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. To facilitate the compliance with d...