—Cloud storage is an application of

—Cloud storage is an application of clouds that liberates
organizations from establishing in-house data storage systems.
However, cloud storage gives rise to security concerns. In
case of group-shared data, the data face both cloud-specific and
conventional insider threats. Secure data sharing among a group
that counters insider threats of legitimate yet malicious users is
an important research issue. In this paper, we propose the Secure
Data Sharing in Clouds (SeDaSC) methodology that provides:
1) data confidentiality and integrity; 2) access control; 3) data
sharing (forwarding) without using compute-intensive reencryption;
4) insider threat security; and 5) forward and backward access
control. The SeDaSC methodology encrypts a file with a single
encryption key. Two different key shares for each of the users are
generated, with the user only getting one share. The possession of
a single share of a key allows the SeDaSC methodology to counter
the insider threats. The other key share is stored by a trusted
third party, which is called the cryptographic server. The SeDaSC
methodology is applicable to conventional and mobile cloud computing
environments. We implement a working prototype of the
SeDaSC methodology and evaluate its performance based on the
time consumed during various operations. We formally verify
the working of SeDaSC by using high-level Petri nets, the Satisfiability
Modulo Theories Library, and a Z3 solver. The results
proved to be encouraging and show that SeDaSC has the potential
to be effectively used for secure data sharing in the cloud

ผลลัพธ์ (ไทย) 1:

แบบเก็บข้อมูล cloud เป็นโปรแกรมของเมฆที่ liberatesองค์กรจากการสร้างระบบจัดเก็บข้อมูลภายในอย่างไรก็ตาม เก็บเมฆก่อให้เกิดความกังวลด้านความปลอดภัย ในเมฆทั้งเฉพาะหน้ากรณีกลุ่มแชร์ข้อมูล ข้อมูล และคุกคามภายในทั่วไป ข้อมูลที่ใช้ร่วมกันระหว่างกลุ่มที่เคาน์เตอร์ภายในการคุกคามของกฎหมาย แต่เป็นผู้ใช้ที่เป็นอันตรายประเด็นวิจัยที่สำคัญ ในเอกสารนี้ เราเสนอปลอดภัยข้อมูลที่ใช้ร่วมกันในระหว่างเมฆ (SeDaSC) ที่ให้:1) ข้อมูลและความถูกต้อง 2) ควบคุมการเข้าถึง 3) ข้อมูลร่วมกัน (ส่งต่อ) โดยใช้การคำนวณมากลับ4) ภายในคุกคามความปลอดภัย และ 5) เข้าไปข้างหน้า และย้อนหลังควบคุม วิธี SeDaSC เข้ารหัสลับแฟ้มเดียวคีย์การเข้ารหัส สองแชร์คีย์แตกต่างกันสำหรับแต่ละผู้ใช้สินค้า ผู้ที่ได้รับ 1 หุ้นเท่า นั้น ความครอบครองของส่วนคีย์เดียวช่วยให้วิธีการ SeDaSC โต้คุกคามภายใน การแชร์คีย์ถูกเก็บไว้ โดยที่เชื่อถือได้บุคคลที่สาม ซึ่งเรียกว่าเซิร์ฟเวอร์เข้ารหัสลับ SeDaSCวิธีเป็นเมฆธรรมดา และโทรศัพท์มือถือคอมพิวเตอร์สภาพแวดล้อม เราสามารถใช้ต้นแบบการทำงานของการวิธีการ SeDaSC และประเมินผลการดำเนินงานตามเวลาที่ใช้ในระหว่างการดำเนินการต่าง ๆ เราตรวจสอบอย่างเป็นกิจจะลักษณะการทำงานของ SeDaSC โดยใช้พื้นฐาน Petri มุ้ง Satisfiability ที่Modulo ทฤษฎีไลบรารี และ Z3 solver ผลลัพธ์พิสูจน์กำลังใจ และแสดงว่า SeDaSC มีศักยภาพการใช้ข้อมูลร่วมกันในเมฆได้อย่างมีประสิทธิภาพ

ผลลัพธ์ (ไทย) 2:

การจัดเก็บ -Cloud
เป็นโปรแกรมของเมฆที่เกิดองค์กรจากการสร้างข้อมูลในบ้านระบบจัดเก็บข้อมูล.
อย่างไรก็ตามการจัดเก็บเมฆก่อให้เกิดความกังวลด้านความปลอดภัย ในกรณีที่มีการจัดกลุ่มข้อมูลที่ใช้ร่วมกันข้อมูลที่ต้องเผชิญทั้งเมฆที่เฉพาะเจาะจงและภัยคุกคามภายในธรรมดา ใช้ข้อมูลร่วมกันรักษาความปลอดภัยในหมู่กลุ่มที่เคาน์เตอร์ภัยคุกคามภายในของผู้ใช้ถูกต้องตามกฎหมายที่เป็นอันตรายยังมีปัญหาการวิจัยที่สำคัญ ในบทความนี้เราจะเสนอการรักษาความปลอดภัยร่วมกันข้อมูลในเมฆ (SeDaSC) วิธีการที่ให้: 1) การรักษาความลับของข้อมูลและความซื่อสัตย์ 2) การควบคุมการเข้าถึง; 3) ข้อมูลที่ใช้ร่วมกัน(ส่งต่อ) โดยไม่ต้องใช้ reencryption คำนวณมาก; 4) ภัยคุกคามภายในการรักษาความปลอดภัย และ 5) ไปข้างหน้าและย้อนกลับการเข้าถึงการควบคุม วิธีการ SeDaSC เข้ารหัสไฟล์ที่มีเพียงครั้งเดียวคีย์การเข้ารหัสลับ สองหุ้นที่สำคัญที่แตกต่างกันสำหรับแต่ละผู้ใช้จะสร้างที่มีผู้ใช้เพียงการหนึ่งหุ้น ครอบครองของส่วนแบ่งการเดียวที่สำคัญช่วยให้วิธีการ SeDaSC เพื่อตอบโต้ภัยคุกคามภายใน ส่วนแบ่งที่สำคัญอื่น ๆ จะถูกเก็บไว้โดยที่เชื่อถือได้ของบุคคลที่สามซึ่งเรียกว่าเซิร์ฟเวอร์การเข้ารหัสลับ SeDaSC วิธีใช้ได้กับคอมพิวเตอร์เมฆธรรมดาและโทรศัพท์มือถือสภาพแวดล้อม เราใช้ต้นแบบการทำงานของวิธีการ SeDaSC และประเมินผลการดำเนินงานขึ้นอยู่กับเวลาที่ใช้ในระหว่างการดำเนินการต่างๆ เราตรวจสอบอย่างเป็นทางการทำงานของ SeDaSC โดยใช้มุ้ง Petri ระดับสูงที่ Satisfiability ห้องสมุด Modulo ทฤษฎีและแก้ Z3 ผลการพิสูจน์แล้วว่าเป็นกำลังใจและแสดงให้เห็นว่า SeDaSC มีศักยภาพที่จะนำมาใช้อย่างมีประสิทธิภาพสำหรับการแบ่งปันข้อมูลที่ปลอดภัยในเมฆ

ผลลัพธ์ (ไทย) 3:

- การจัดเก็บเมฆเป็นโปรแกรมของเมฆที่ปล่อยจากระบบจัดเก็บข้อมูลองค์กรสร้าง

แต่ระบบจัดเก็บเมฆ ให้สูงขึ้นเพื่อความกังวลเกี่ยวกับความปลอดภัย กรณีของกลุ่มข้อมูลที่ใช้ร่วมกันใน
, ข้อมูลหน้าทั้งเมฆที่เฉพาะเจาะจงและ
ภัยคุกคามภายในปกติ รักษาความปลอดภัยข้อมูลที่ใช้ร่วมกันระหว่างกลุ่ม
ที่เคาน์เตอร์ภัยคุกคามภายในของถูกต้องตามกฎหมาย แต่ผู้ใช้ที่เป็นอันตรายเป็น
ปัญหาการวิจัยที่สำคัญ ในกระดาษนี้เรานำเสนอการรักษาความปลอดภัยข้อมูลในเมฆ (
sedasc ) วิธีการที่ให้บริการ :
1 ) การรักษาความลับข้อมูลและความซื่อสัตย์ ; 2 ) การควบคุมการเข้าถึงข้อมูลที่ใช้ร่วมกัน 3 )
( ส่งต่อ ) โดยไม่ต้องใช้คอมพิวเตอร์ reencryption เข้มข้น ;
4 ) ภัยคุกคามด้านความมั่นคงภายใน และ 5 ) ไปข้างหน้าและการควบคุมการเข้าถึง
ย้อนหลัง การ sedasc วิธีการเข้ารหัสไฟล์ด้วยการเข้ารหัสด้วยคีย์เดียว

สองคีย์ที่แตกต่างกันหุ้นสำหรับแต่ละผู้ใช้
สร้างกับผู้ใช้เท่านั้นได้รับแบ่งปัน ครอบครองของ
หุ้นเดียวคีย์ช่วยให้ sedasc วิธีการเคาน์เตอร์
ภัยคุกคามภายใน . หุ้นอื่น ๆที่สำคัญจะถูกเก็บไว้โดยไว้ใจ
บุคคลที่สามซึ่งเรียกว่าเซิร์ฟเวอร์เข้ารหัส . การ sedasc
และใช้ได้ปกติ และเมฆคอมพิวเตอร์
สภาพแวดล้อมเราใช้ต้นแบบการทำงานของ
sedasc วิธีการประเมินผลการปฏิบัติงานของ บริษัท ขึ้นอยู่กับเวลาที่ใช้ในการดำเนินงานต่าง ๆ
. ตรวจสอบการทำงานของพวกเราอย่างเป็นทางการ
sedasc โดยใช้อวน Petri พื้นฐาน ทฤษฎีความสอดคล้อง
โมดูโล่ ห้องสมุด และ z3 แก้ ผลลัพธ์ที่ได้ให้กำลังใจและแสดง

sedasc ที่มีศักยภาพสามารถใช้อย่างมีประสิทธิภาพเพื่อรักษาความปลอดภัยข้อมูลที่ใช้ร่วมกันในเมฆ