Implementation of checking algorithm for the can_write predicate in an arbitrary Take-Grant model
-
Updated
Nov 7, 2020 - Java
Implementation of checking algorithm for the can_write predicate in an arbitrary Take-Grant model
An implementation of a Take-Grant protection model, which is a formal model used in the computer security field.
Laboratory work on computer system security models
Add a description, image, and links to the take-grant topic page so that developers can more easily learn about it.
To associate your repository with the take-grant topic, visit your repo's landing page and select "manage topics."