To put this another way: the client

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:

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

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

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

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

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