Точно. Наиболее надежные системы имеют наименьшее и самые простые предположения о безопасности.