1679 search results - page 258 / 336 » Security Properties and CSP |
175
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...
149
click to vote
ASIACRYPT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We give a careful, fixed-size parameter analysis of a standard [1,4] way to form a pseudorandom generator by iterating a one-way function and then pseudo-random function...
173
click to vote
CONCUR
2001
Springer
15 years 10 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
143
Voted
ICCS
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents the integration of application specific interfaces in the UNICORE Grid infrastructure. UNICORE provides a seamless and secure mechanism to access distributed s...
129
click to vote
ISW
2001
Springer
15 years 10 months ago
2001
Springer
This paper proposes a cryptographic mechanism for metering the duration and/or the number of instances of running a data process. This mechanism has the following property: knowing...