130
click to vote
ESORICS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
133
click to vote
CIT
2006
Springer
15 years 7 months ago
2006
Springer
Early question and answering (QA) systems focused on keyword search among documents for answers. However, such systems can only answer fact-based questions. It becomes clear that ...
108
Voted
ESOP
2004
Springer
15 years 7 months ago
2004
Springer
Environment classifiers were proposed as a new approach to typing multi-stage languages. Safety was established in the simply-typed and let-polymorphic settings. While the motivati...
136
Voted
CISC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. A public-key cryptosystem is usually used for key management, in particular to session key management. The paper presents a method for handling a batch of concurrent keys...
128
Voted
CISC
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we investigate the problem of increasing the threshold parameter of the Shamir (t, n)-threshold scheme without interacting with the dealer. Our construction will re...