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.