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

Theoretical Computer Science ◽

10.1016/j.tcs.2021.12.018 ◽

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

Download Full-text

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

IEEE Access ◽

10.1109/access.2021.3071325 ◽

2021 ◽

pp. 1-1

Author(s):

M. Maghsoudloo ◽

A. Rahdari ◽

N. Khoshavi

Keyword(s):

Cloud Storage ◽

Storage Systems ◽

Download Full-text

Secure Password-Protected Encryption Key for Deduplicated Cloud Storage Systems

IEEE Transactions on Dependable and Secure Computing ◽

10.1109/tdsc.2021.3074146 ◽

2021 ◽

pp. 1-1

Author(s):

Yuan Zhang ◽

Chunxiang Xu ◽

Nan Cheng ◽

Xuemin Sherman Shen

Keyword(s):

Cloud Storage ◽

Storage Systems

Download Full-text

A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1145/3373718.3394744 ◽

2020 ◽

Author(s):

Clemens Grabmayer ◽

Wan Fokkink

Keyword(s):

Proof System ◽

Regular Expressions ◽

Download Full-text

A Complete Proof System for SCCS with Modal Assertions

Fundamenta Informaticae ◽

10.3233/fi-1986-9403 ◽

1986 ◽

Vol 9 (4) ◽

pp. 401-419

Author(s):

Glynn Winskel

Keyword(s):

Proof System ◽

Download Full-text

A similarity clustering-based deduplication strategy in cloud storage systems

2020 IEEE 26th International Conference on Parallel and Distributed Systems (ICPADS) ◽

10.1109/icpads51040.2020.00015 ◽

2020 ◽

Author(s):

Saiqin Long ◽

Zhetao Li ◽

Zihao Liu ◽

Qingyong Deng ◽

Sangyoon Oh ◽

...

Keyword(s):

Cloud Storage ◽

Storage Systems

Download Full-text

Secure and private cloud storage systems with random linear fountain codes

2017 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computed, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI) ◽

10.1109/uic-atc.2017.8397640 ◽

2017 ◽

Author(s):

Mohsen Karimzadeh Kiskani ◽

Hamid R. Sadjadpour

Keyword(s):

Cloud Storage ◽

Storage Systems ◽

Fountain Codes ◽

Download Full-text

Multi-dimensional scheduling in cloud storage systems

2015 IEEE International Conference on Communications (ICC) ◽

10.1109/icc.2015.7248353 ◽

2015 ◽

Author(s):

Zhihao Yao ◽

Ioannis Papapanagiotou ◽

Robert D. Callaway

Keyword(s):

Cloud Storage ◽

Storage Systems

Download Full-text

Reasoning about Cloud Storage Systems

2018 IEEE Third International Conference on Data Science in Cyberspace (DSC) ◽

10.1109/dsc.2018.00024 ◽

2018 ◽

Author(s):

Hanpin Wang ◽

Zhao Jin ◽

Lei Zhang ◽

Yuxin Jing ◽

Yuxin Jing ◽

...

Keyword(s):

Cloud Storage ◽

Storage Systems

Download Full-text

Multi-tier Power-Saving Method in Cloud Storage Systems for Content Sharing Services

Economics of Grids, Clouds, Systems, and Services - Lecture Notes in Computer Science ◽

10.1007/978-3-030-63058-4_13 ◽

2020 ◽

pp. 142-154

Author(s):

Horleang Choeng ◽

Koji Hasebe ◽

Hirotake Abe ◽

Kazuhiko Kato

Keyword(s):

Cloud Storage ◽

Storage Systems ◽

Power Saving ◽

Content Sharing

Download Full-text

A Secure IoT Data Integration in Cloud Storage Systems using ABAC Access Control Policy

International Journal of Advanced Engineering Research and Science ◽

10.22161/ijaers.4.8.6 ◽

2017 ◽

Vol 4 (8) ◽

pp. 34-37 ◽

Author(s):

Ismail Chahid ◽

Abderrahim Marzouk

Keyword(s):

Access Control ◽

Data Integration ◽

Cloud Storage ◽

Storage Systems ◽

Control Policy ◽

Access Control Policy

Download Full-text