258 search results - page 7 / 52 » Securing Provenance |
EUROCRYPT
2001
Springer
14 years 7 days ago
2001
Springer
Abstract. Known practical blind signature schemes whose security against adaptive and parallel attacks can be proven in the random oracle model either need five data exchanges bet...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Smartphone apps often run with full privileges to access the network and sensitive local resources, making it difficult for remote systems to have any trust in the provenance of ...
CRYPTO
2012
Springer
11 years 10 months ago
2012
Springer
We develop a new methodology for utilizing the prior techniques to prove selective security for functional encryption systems as a direct ingredient in devising proofs of full sec...
BMCBI
2008
13 years 7 months ago
2008
Background: Interaction data for a given protein may be spread across multiple databases. We set out to create a unifying index that would facilitate searching for these data and ...
ACSAC
1996
IEEE
13 years 12 months ago
1996
IEEE
In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...