Update perfect_secure_systems.tex

"Следующими свойствами" - обобщающее слово. Далее перечисление через ; .
Добавил "то есть" во втором пункте для связи с формулами.