1451 search results - page 212 / 291 » Order independence and rationalizability |
163
click to vote
ACSAC
2001
IEEE
15 years 9 months ago
2001
IEEE
Traditionally, creation and revocation of certificates are performed manually, by trusted agents, under conditions that are rarely formalized. This approach to certificate managem...
144
click to vote
EUROCRYPT
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. The noisy polynomial interpolation problem is a new intractability assumption introduced last year in oblivious polynomial evaluation. It also appeared independently in p...
151
click to vote
LPAR
2000
Springer
15 years 9 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
162
click to vote
PODC
2000
ACM
15 years 9 months ago
2000
ACM
We present an approach for merging message streams from producers distributed over a network, using a deterministic algorithm that is independent of any nondeterminism of the syst...
167
click to vote
RAID
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. In practice, most computer intrusions begin by misusing programs in clever ways to obtain unauthorized higher levels of privilege. One e ective way to detect intrusive ac...