Жора, В. В.; Синецький, О. Б. Використання системи формальної логіки PVS в методі формального доведення захищеності при побудові систем захисту інформації. TAPR 2021, 2, 41-45.