diff --git a/README.md b/README.md index 762a3ed..c8daf13 100644 --- a/README.md +++ b/README.md @@ -14,5 +14,7 @@ Traditional access control mechanisms in operating systems allow the same level * [Some identified issues](./docs/bc-thesis-problems.md) * [Formal specification](./docs/bc-thesis-specs.md) ## Credit + *Student:* Fedir Kovalov + *Supervisor:* RNDr. Jaroslav Janáček, PhD.