On the existence of provably secure cloud computing systems
- Authors: Varnovsky N.P.1, Zakharov V.A.2, Shokurov A.V.3
-
Affiliations:
- Information Security Institute
- Faculty of Computational Mathematics and Cybernetics
- Institute of System Programming
- Issue: Vol 40, No 2 (2016)
- Pages: 83-88
- Section: Article
- URL: https://journals.rcsi.science/0278-6419/article/view/176132
- DOI: https://doi.org/10.3103/S0278641916020096
- ID: 176132
Cite item
Abstract
We study a formal model of cloud computing systems with auxiliary cryptoservers. Assuming an existence of a secure threshold somewhat homomorphic public key cryptosystem we show how to build a cloud computing system secure in this model.
About the authors
N. P. Varnovsky
Information Security Institute
Author for correspondence.
Email: barnaba.np@gmail.com
Russian Federation, Moscow, 119992
V. A. Zakharov
Faculty of Computational Mathematics and Cybernetics
Email: barnaba.np@gmail.com
Russian Federation, Moscow, 119992
A. V. Shokurov
Institute of System Programming
Email: barnaba.np@gmail.com
Russian Federation, ul. Bol’shaya Kommunisticheskaya 25, Moscow, 109004
Supplementary files
