- Full text PDF available (2)
Journals and Conferences
The article discribe methods of verifing the conditions of access in computer systems based on Take-Grant protection model.
The article contains the algorithm for searching a certain kind of bridges in the protection graph of Take-Grant model. The proposed algorithm is based on a classical breadth-first search algorithm.