Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем

Девянин П.Н., Хорошилов А.В., Тележников В.Ю.

Труды Института системного программирования РАН, 2021. Т. 33, № 5. С. 25-40.