1183 search results - page 139 / 237 » On flow-sensitive security types |
134
click to vote
ICDIM
2008
IEEE
15 years 11 months ago
2008
IEEE
Digital Libraries maintain information lifecycles for the digital objects contained therein. Typically these information lifecycles stipulate that a digital object is deleted at t...
129
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
An important type of communication in grid and distributed computing environments is bulk data transfer. GridFTP has emerged as a de facto standard for secure, reliable, high-perf...
140
click to vote
ASIACRYPT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present new results in the framework of secure multiparty computation based on homomorphic threshold cryptosystems. We introduce the conditional gate as a special type...
133
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
119
click to vote
SACRYPT
2001
Springer
15 years 9 months ago
2001
Springer
We show that there is a very straightforward closed algebraic formula for the Rijndael block cipher. This formula is highly structured and far simpler then algebraic formulations o...