vlsergey/infosec — pull request #868 by ilgardo (2014-10-21 17:24:09+00:00)
Title: Update perfect_secure_systems.tex

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