1154 search results - page 140 / 231 » Making Self-organizing Systems Secure |
111
click to vote
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
104
click to vote
EUROCRYPT
2006
Springer
15 years 5 months ago
2006
Springer
Non-interactive zero-knowledge (NIZK) proof systems are fundamental cryptographic primitives used in many constructions, including CCA2-secure cryptosystems, digital signatures, an...
132
click to vote
MMS
2008
15 years 1 months ago
2008
Digital fingerprinting has been suggested for copyright protection. Using a watermarking scheme, a fingerprint identifying the buyer is embedded in every copy sold. If an illegal c...
142
click to vote
NOMS
2010
IEEE
14 years 12 months ago
2010
IEEE
—Cooperation between intrusion detection systems (IDSs) allows collective information and experience from a network of IDSs to be shared to improve the accuracy of detection. A c...
OSDI
2004
ACM
16 years 1 months ago
2004
ACM
A fundamental piece of information required in intelligent storage systems is the liveness of data. We formalize the notion of liveness within storage, and present two classes of ...