vlsergey/infosec — pull request #809 by ilgardo (2014-10-20 13:35:02+00:00)
Title: Update perfect_secure_systems.tex

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