From 2da76827d594d56d69b819e9a9d05dbedf9d487c Mon Sep 17 00:00:00 2001
From: tebenkov ivan <stud160937@vyatsu.ru>
Date: Wed, 12 Apr 2023 18:19:28 +0300
Subject: [PATCH] my two commit

---
 12042023TIA.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/12042023TIA.txt b/12042023TIA.txt
index 3f802ae..87a682b 100644
--- a/12042023TIA.txt
+++ b/12042023TIA.txt
@@ -2,3 +2,6 @@
 
 2022
 
+"Создание формальной модели безопасности ИС с использованием платформы Rodin"
+
+