Vérifiabilité et imputabilité dans le Cloud

Vérifiabilité et imputabilité dans le Cloud

Cette thèse propose de nouveaux protocoles cryptographiques, plus efficaces que l’existant, et qui permettent aux utilisateurs du nuage informatique (le cloud) de vérifier (i) la bonne conservation des données externalisées et (ii) l'exécution correcte de calculs externalisés. Nous décrivons d&...

Full description

Bibliographic Details
Main Author:	Azraoui, Monir
Other Authors:	Paris, ENST
Language:	en fr
Published:	2016
Subjects:	Informatique dans les nuages Imputabilité Calcul vérifiable Preuve de stockage Langage politique Cloud computing Accountability Verifiable calculation Proof of storage Policy language
Online Access:	http://www.theses.fr/2016ENST0032/document

Similar Items

Publicly-Verifiable Proofs of Storage Based on the Discrete Logarithm Problem
by: Miaomiao Tian, et al.
Published: (2019-01-01)

A Blockchain-Assisted Verifiable Outsourced Attribute-Based Signcryption Scheme for EHRs Sharing in the Cloud
by: Xiaodong Yang, et al.
Published: (2020-01-01)

Étude formelle d'algorithmes efficaces en algèbre linéaire
by: Dénès, Maxime
Published: (2013)

Toward practical argument systems for verifiable computation
by: Setty, Srinath T.V.
Published: (2015)

Enabling Efficient Verifiable Fuzzy Keyword Search Over Encrypted Data in Cloud Computing
by: Xinrui Ge, et al.
Published: (2018-01-01)

User Verifiable Multiple Keyword Search Scheme using the Merkle Tree for Outsourced Data in the Cloud
by: Devi Thiyagarajan, et al.
Published: (2017-07-01)

Verifiable Subgraph Matching With Cryptographic Accumulators in Cloud Computing
by: Yixiao Zhu, et al.
Published: (2019-01-01)

RZcoin: Ethereum-Based Decentralized Payment with Optional Privacy Service
by: Hong Zhao, et al.
Published: (2020-06-01)

Secure Data Sharing With Lightweight Computation in E-Health
by: Leyou Zhang, et al.
Published: (2020-01-01)

Context-Aware Verifiable Cloud Computing
by: Zheng Yan, et al.
Published: (2017-01-01)

Generic monitoring and reconfiguration for service-based applications in the cloud
by: Mohamed, Mohamed
Published: (2014)

A Certificateless Verifiable Strong Designated Verifier Signature Scheme
by: Shu Han, et al.
Published: (2019-01-01)

Privacy preserving, verifiable and efficient outsourcing algorithm for matrix multiplication to a malicious cloud server
by: Malay Kumar, et al.
Published: (2017-01-01)

Secure Collaborative Publicly Verifiable Computation
by: Qiang Wang, et al.
Published: (2017-01-01)

Étude formelle d'algorithmes efficaces en algèbre linéaire
by: Dénès, Maxime
Published: (2013)

Security of Verifiable Threshold Quantum Secret Sharing With Sequential Communication
by: Xiaoqiu Cai, et al.
Published: (2019-01-01)

Energy efficient resource allocation in cloud computing environments
by: Ghribi, Chaima
Published: (2014)

The Reality and the Verifiability of Reincarnation
by: Ankur Barua
Published: (2017-08-01)

Reconsiderando o verificacionismo
by: Claudio F. Costa
Published: (2011-06-01)

Verifiering och utveckling av Airwatergreens simuleringsverktyg
by: Dahlstedt, Josefine, et al.
Published: (2016)

Non-Repudiable Provable Data Possession Scheme With Designated Verifier in Cloud Storage Systems
by: Tsu-Yang Wu, et al.
Published: (2017-01-01)

Practical and Provably Secure Distributed Aggregation: Verifiable Additive Homomorphic Secret Sharing
by: Georgia Tsaloli, et al.
Published: (2020-09-01)

Design and Analysis of Novel Verifiable Voting Schemes
by: Yestekov, Yernat
Published: (2013)

Practical Verified Computation with Streaming Interactive Proofs
by: Thaler, Justin R
Published: (2013)

Publicly Verifiable and Efficient Fine-Grained Data Deletion Scheme in Cloud Computing
by: Changsong Yang, et al.
Published: (2020-01-01)

Evaluating Trust Assurance in Indy-Based Identity Networks Using Public Ledger Data
by: Will Abramson, et al.
Published: (2021-04-01)

CExp: secure and verifiable outsourcing of composite modular exponentiation with single untrusted server
by: Shuai Li, et al.
Published: (2017-11-01)

Achieving Lightweight Verifiable Privacy Preserving Search Over Encrypted Data
by: Selasi Kwame Ocansey, et al.
Published: (2019-08-01)

TKSE: Trustworthy Keyword Search Over Encrypted Data With Two-Side Verifiability via Blockchain
by: Yinghui Zhang, et al.
Published: (2018-01-01)

A self-verifying theorem prover
by: Davis, Jared Curran
Published: (2010)

Relationship between clopidogrel-related polymorphisms and variable platelet reactivity at 1 year: A cohort study from Han Chinese
by: Xiaodong Wang, et al.
Published: (2016-01-01)

A Verifiable Fully Homomorphic Encryption Scheme for Cloud Computing Security
by: Ahmed EL-YAHYAOUI, et al.
Published: (2019-02-01)

A Study on CP-ABE-based Medical Data Sharing System with Key Abuse Prevention and Verifiable Outsourcing in the IoMT Environment
by: Yong-Woon Hwang, et al.
Published: (2020-08-01)

Statically Aggregate Verifiable Random Functions and Application to E-Lottery
by: Bei Liang, et al.
Published: (2020-12-01)

An Empirical Comparison of Carbon Credit Projects under the Clean Development Mechanism and Verified Carbon Standard
by: Andrea von Avenarius, et al.
Published: (2018-06-01)

L'imputabilité en droit pénal
by: Gomez, Elisabeth
Published: (2017)

Threshold-Based Post-Quantum Secure Verifiable Multi-Secret Sharing for Distributed Storage Blockchain
by: Sihem Mesnager, et al.
Published: (2020-12-01)

LDVAS: Lattice-Based Designated Verifier Auditing Scheme for Electronic Medical Data in Cloud-Assisted WBANs
by: Xiaojun Zhang, et al.
Published: (2020-01-01)

Efficient Verifiable Multi-Key Searchable Encryption in Cloud Computing
by: Yaping Su, et al.
Published: (2019-01-01)

Microclouds : an approach for a network-aware energy-efficient decentralised cloud
by: Cuadrado-Cordero, Ismael
Published: (2017)