Кравченко П. О. Розширення моделі типізованої специфікації для формального аналізу криптографічних протоколів / П. О. Кравченко // Прикладная радиоэлектроника. – 2011. – №2. – С.192–197.
Складова документа:
Прикладная радиоэлектроника : научно-технический журнал. №2. Т.10 / АН Прикладной Радиоэлектроники, ХНУРЭ // Прикладная радиоэлектроника. – Харьков, 2011