As mentioned, it provides a powerfu

As mentioned, it provides a powerful and flexible environment for cloud-side processing with guarantees about confidentiality to the cloud. However, the size of the TCB makes it very difficult for the client to evaluate its security. To put this another way: the client needs to evaluate whether the entire software stack properly upholds the specified policy φ. Even if the software is open-source, it is very difficult to do that; there are some standard things one can look for, but establishing any property (such as security) of software is undecidable. The hardware (TPM and TXT) ensures that the software stack is the one being run, but it does not establish that it is secure. This phenomenon is sometimes called binary attestation, meaning that the guarantees are about what software binaries are running, rather than about the properties that are provided. Efforts at moving towards property-based attestation are currently being researched (Chen et al., 2006) and have partly been implemented in Excalibur, but the reliance on binary attestation is still a significant issue.

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

ดังกล่าวจะมีสภาพแวดล้อมที่มีประสิทธิภาพและมีความยืดหยุ่นสำหรับการประมวลผลเมฆข้างกับการรับประกันเกี่ยวกับการรักษาความลับไปยังเมฆ แต่ขนาดของ TCB ทำให้มันยากมากสำหรับลูกค้าในการประเมินความปลอดภัยของ นี้จะนำวิธีอื่น: ลูกค้าจะต้องมีการประเมินว่าสแต็คซอ​​ฟต์แวร์ทั้งหมดอย่างถูกต้องเป็นอันขาดφนโยบายที่ระบุไว้แม้ว่าซอฟต์แวร์โอเพนซอร์สมันเป็นเรื่องยากมากที่จะทำว่ามีบางสิ่งที่มาตรฐานหนึ่งสามารถมองหามี แต่การสร้างสถานที่ให้บริการใด ๆ (เช่นการรักษาความปลอดภัย) ของซอฟแวร์ที่ตัดสินไม่ได้ ฮาร์ดแวร์ (TPM และ txt) เพื่อให้แน่ใจว่าสแต็คซอ​​ฟต์แวร์เป็นหนึ่งในการทำงาน แต่ก็ไม่ได้กำหนดว่ามันมีความปลอดภัย ปรากฏการณ์นี้บางครั้งเรียกว่าการรับรองไบนารีหมายความว่าการค้ำประกันเกี่ยวกับสิ่งที่เป็นไบนารีซอฟต์แวร์กำลังทำงานอยู่มากกว่าเกี่ยวกับคุณสมบัติที่ให้ไว้ ความพยายามที่มุ่งไปสู่​​การรับรองสถานที่ให้บริการที่ใช้อยู่ในขณะนี้การวิจัย (chen และคณะ. 2006) และได้รับการดำเนินการในส่วน excalibur แต่ความเชื่อมั่นในการรับรองไบนารีก็ยังคงเป็นปัญหาที่สำคัญ

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

ดังกล่าว มีสภาพแวดล้อมที่มีประสิทธิภาพ และมีความยืดหยุ่นสำหรับการประมวลผลกับประกันเกี่ยวกับความลับกับเมฆด้านคลาวด์ อย่างไรก็ตาม ขนาดของ TCB ยากมากสำหรับไคลเอนต์เพื่อประเมินการรักษาความปลอดภัย การทำวิธีนี้อีก: ไคลเอ็นต์ต้องประเมินว่ากองซอฟต์แวร์ทั้งปีพ.ศ.φระบุนโยบายได้อย่างถูกต้อง แม้ว่าซอฟต์แวร์เป็นแหล่งเปิด เป็นเรื่องยากมากที่ สิ่งมาตรฐานที่หนึ่งสามารถค้นหา แต่การกำหนดคุณสมบัติ (เช่นความปลอดภัย) ของซอฟต์แวร์จะ undecidable ฮาร์ดแวร์ (TPM และ TXT) ช่วยให้มั่นใจว่า กองซอฟต์แวร์เป็นการเรียกใช้ แต่มันไม่สร้างที่เป็นทาง ปรากฏการณ์นี้บางครั้งเรียกว่าไบนารีการรับรอง หมายความ ว่า ประกันที่จะเกี่ยวกับซอฟแวร์อะไรเรียกใช้ไบนารี แทนเกี่ยวกับคุณสมบัติ ที่มี ความพยายามที่ย้ายไปยังหน้าคุณสมบัติตามปัจจุบันกำลังวิจัย (Chen et al., 2006) และมีบางส่วนถูกนำมาใช้ในเอ็กซ์ แต่พึ่งไบนารีหน้ายังคงเป็นปัญหาสำคัญ

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

ตามที่ได้กล่าวไว้ข้างต้นและจัดให้บริการ สภาพแวดล้อม ที่ยืดหยุ่นและทรงพลังสำหรับการประมวลผลเมฆ - ด้านข้างพร้อมด้วยการรับประกันเกี่ยวกับความลับไปที่สัญลักษณ์เมฆก้อนนี้ แต่ถึงอย่างไรก็ตามขนาดที่ควบของที่ทำให้มันยากมากสำหรับเครื่องลูกข่ายในการประเมินการรักษาความ ปลอดภัย ของโรงแรม ในการใส่นี้อีกทางหนึ่งความต้องการของลูกค้าในการประเมินว่าสแต็คซอฟต์แวร์ทั้งหมดได้อย่างถูกต้องหรือนโยบายที่ระบุΦแม้ว่าซอฟต์แวร์ที่เป็นแบบเปิดโล่งที่เป็นเรื่องยากมากที่จะทำอย่างนั้นจะมีสิ่งมาตรฐานบางอย่างหนึ่งสามารถมองแต่การสร้างที่พัก(เช่นการรักษาความ ปลอดภัย )ใดของซอฟต์แวร์คือตัดสินไม่ได้( undecidable problems ) ฮาร์ดแวร์( TPM และ txt )ทำให้มั่นใจได้ว่าซอฟท์แวร์ที่เป็นคนหนึ่งที่มีการใช้งานแต่ไม่ได้กำหนดว่าจะมีความ ปลอดภัย ปรากฎการณ์นี้เรียกว่าการรับรองผู้ใช้ไบนารีในบางครั้งซึ่งหมายความว่าการรับประกันที่มีเกี่ยวกับสิ่งที่ไบนารียังมีซอฟต์แวร์การทำงานมากกว่าเกี่ยวกับคุณสมบัติที่จัดให้บริการ ความพยายามในการย้ายไปยังการรับรองผู้ใช้ที่พัก - ขึ้นอยู่มีการวิจัย( Chen et al . 2006 )ในปัจจุบันและมีการนำมาใช้ใน Excalibur ในระยะทางบางส่วนแต่การที่การรับรองผู้ใช้ไบนารียังคงเป็นปัญหาสำคัญ