The security strategy still has man

The security strategy still has many problems to be solved in practical application, such as security strategy of formal, validation automatically, proving the limits of the size, etc

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

กลยุทธ์การรักษาความปลอดภัยยังคงมีปัญหามากมายที่จะแก้ไขได้ในการประยุกต์ใช้ในทางปฏิบัติเช่นกลยุทธ์การรักษาความปลอดภัยอย่างเป็นทางการของการตรวจสอบโดยอัตโนมัติพิสูจน์ข้อ จำกัด ของขนาดและอื่น ๆ

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

กลยุทธ์ด้านความปลอดภัยยังคงมีปัญหามากในการแก้ไขในภาคสนาม เช่นกลยุทธ์ด้านความปลอดภัยของการตรวจสอบแบบ อัตโนมัติ พิสูจน์ขีดจำกัดของขนาด ฯลฯ

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

กลยุทธ์ด้านการรักษาความ ปลอดภัย ที่ยังมีปัญหาหลายอย่างในการแก้ไขปัญหาได้ในแอปพลิเคชันใช้งานได้จริงเช่นกลยุทธ์การรักษาความ ปลอดภัย อย่างเป็นทางการของการตรวจสอบโดยอัตโนมัติเพื่อพิสูจน์การจำกัดที่มีขนาดที่ฯลฯ