From feb2e6a07e8abe078c71e83ef57d419c838eabbc Mon Sep 17 00:00:00 2001 From: fedir Date: Thu, 14 Nov 2024 10:14:42 +0100 Subject: [PATCH] Added credit --- README.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 3c611c7..762a3ed 100644 --- a/README.md +++ b/README.md @@ -12,4 +12,7 @@ Traditional access control mechanisms in operating systems allow the same level ## Docs * [Initial idea and motivation](./docs/bc-thesis-idea.md) * [Some identified issues](./docs/bc-thesis-problems.md) -* [Formal specification](./docs/bc-thesis-specs.md) \ No newline at end of file +* [Formal specification](./docs/bc-thesis-specs.md) +## Credit +*Student:* Fedir Kovalov +*Supervisor:* RNDr. Jaroslav Janáček, PhD.