1679 search results - page 202 / 336 » Security Properties and CSP |
164
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
171
click to vote
FC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Several public key cryptosystems with additional homomorphic properties have been proposed so far. They allow to perform computation with encrypted data without the knowl...
217
click to vote
ACSW
2003
15 years 8 months ago
2003
Transferring the traditional business model for selling digital goods linked to physical media to the online world leads to the need for a system to protect digital intellectual p...
155
click to vote
CRYPTO
2010
Springer
15 years 7 months ago
2010
Springer
The search for encryption schemes that allow to evaluate functions (or circuits) over encrypted data has attracted a lot of attention since the seminal work on this subject by Rive...
174
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...