3638 search results - page 461 / 728 » Distribution chain security |
171
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...
165
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Programmers of large-scale trusted systems need tools to simplify tasks such as replicating services or data. Group communication systems achieve this via various flavors of relia...
173
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
We introduce a language for creating and manipulating certificates, that is, digitally signed data based on public key cryptography, and a system for revoking certificates. Our ap...
164
click to vote
CRYPTO
2010
Springer
15 years 7 months ago
2010
Springer
At the heart of many recent lattice-based cryptographic schemes is a polynomial-time algorithm that, given a `high-quality' basis, generates a lattice point according to a Ga...
164
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In distributed computer systems, it is possible that the evaluation of an authorization policy may suffer unexpected failures, perhaps because a sub-policy cannot be eval...