scholarly journals Local Reasoning about Data Update

2007 ◽  
Vol 172 ◽  
pp. 133-175 ◽  
Author(s):  
Cristiano Calcagno ◽  
Philippa Gardner ◽  
Uri Zarfaty
Keyword(s):  
Local Reasoning ◽  
Data Update

A Group Collaboratable Proof of Retrievability Scheme for Cloud Data Storage

2014 ◽  
Vol 13 (7) ◽  
pp. 4625-4632
Author(s):  
Jyh-Shyan Lin ◽  
Kuo-Hsiung Liao ◽  
Chao-Hsing Hsu
Keyword(s):  
Cloud Computing ◽  
Data Storage ◽  
Cloud Service ◽  
Third Party ◽  
Group Collaboration ◽  
Cloud Data ◽  
Cloud Data Storage ◽  
Important Trend ◽  
Data Update ◽  
Proof Of Retrievability

Cloud computing and cloud data storage have become important applications on the Internet. An important trend in cloud computing and cloud data storage is group collaboration since it is a great inducement for an entity to use a cloud service, especially for an international enterprise. In this paper we propose a cloud data storage scheme with some protocols to support group collaboration. A group of users can operate on a set of data collaboratively with dynamic data update supported. Every member of the group can access, update and verify the data independently. The verification can also be authorized to a third-party auditor for convenience.

scholarly journals Abstract Local Reasoning for Concurrent Libraries: Mind the Gap

2014 ◽  
Vol 308 ◽  
pp. 147-166 ◽  
Author(s):  
Philippa Gardner ◽  
Azalea Raad ◽  
Mark Wheelhouse ◽  
Adam Wright
Keyword(s):  
Local Reasoning

Beyond Local Reasoning for Stereo Confidence Estimation with Deep Learning

2018 ◽  
pp. 323-338 ◽  
Author(s):  
Fabio Tosi ◽  
Matteo Poggi ◽  
Antonio Benincasa ◽  
Stefano Mattoccia
Keyword(s):  
Deep Learning ◽  
Confidence Estimation ◽  
Local Reasoning

scholarly journals Distributed Solar 2020 Data Update

2020 ◽  
Author(s):  
Galen Barbose ◽  
Naïm Darghouth ◽  
Eric O’Shaughnessy ◽  
Sydney Forrester
Keyword(s):  
Data Update

scholarly journals On Local Reasoning in Verification

2008 ◽  
pp. 265-281 ◽  
Author(s):  
Carsten Ihlemann ◽  
Swen Jacobs ◽  
Viorica Sofronie-Stokkermans
Keyword(s):  
Local Reasoning

An adaptation-complete proof system for local reasoning about cloud storage systems

2021 ◽  
Author(s):  
Zhao Jin ◽  
Bowen Zhang ◽  
Lei Zhang ◽  
Yongzhi Cao ◽  
Hanpin Wang
Keyword(s):  
Cloud Storage ◽  
Storage Systems ◽  
Proof System ◽  
Complete Proof ◽  
Local Reasoning
Sign in / Sign up

Export Citation Format

Share Document