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

scholarly journals SLA-Aware Multi-Criteria Data Placement in Cloud Storage Systems

IEEE Access ◽  
2021 ◽  
pp. 1-1
Author(s):  
M. Maghsoudloo ◽  
A. Rahdari ◽  
N. Khoshavi
Keyword(s):  
Cloud Storage ◽  
Storage Systems ◽  
Data Placement

Secure Password-Protected Encryption Key for Deduplicated Cloud Storage Systems

2021 ◽  
pp. 1-1
Author(s):  
Yuan Zhang ◽  
Chunxiang Xu ◽  
Nan Cheng ◽  
Xuemin Sherman Shen
Keyword(s):  
Cloud Storage ◽  
Storage Systems

A Complete Proof System for SCCS with Modal Assertions

1986 ◽  
Vol 9 (4) ◽  
pp. 401-419
Author(s):  
Glynn Winskel
Keyword(s):  
Proof System ◽  
Complete Proof

A similarity clustering-based deduplication strategy in cloud storage systems

2020 ◽  
Author(s):  
Saiqin Long ◽  
Zhetao Li ◽  
Zihao Liu ◽  
Qingyong Deng ◽  
Sangyoon Oh ◽  
...  
Keyword(s):  
Cloud Storage ◽  
Storage Systems

Multi-dimensional scheduling in cloud storage systems

2015 ◽  
Author(s):  
Zhihao Yao ◽  
Ioannis Papapanagiotou ◽  
Robert D. Callaway
Keyword(s):  
Cloud Storage ◽  
Storage Systems

Reasoning about Cloud Storage Systems

2018 ◽  
Author(s):  
Hanpin Wang ◽  
Zhao Jin ◽  
Lei Zhang ◽  
Yuxin Jing ◽  
Yuxin Jing ◽  
...  
Keyword(s):  
Cloud Storage ◽  
Storage Systems
Sign in / Sign up

Export Citation Format

Share Document