Felkner, A; Kozakiewicz, A
Niniejszy artykuł dotyczy problemu bezpieczeństwa rozproszonych systemów informatycznych, w tym zwłaszcza ważnego problemu kontroli dostępu do zasobów i usług systemu. Głównym tematem jest rodzina języków Role-based Trust management (RT) używana do reprezentowania polityk bezpieczeństwa oraz poświadczeń w rozproszonym upoważnianiu. W artykule została przedstawiona składnia oraz dwie semantyki (denotacyjna i operacyjna) języków z rodziny Role-based Trust management, ze szczególnym uwzględnieniem jednego z nich. Język ten jest najobszerniejszym językiem z rodziny RT, obejmuje wszystkie reguły składniowe całej rodziny języków. Semantyka denotacyjna została przedstawiona w formie interpretacji teoriomnogościowej poprzez przypisanie rolom zbiory,złożone ze zbiorów podmiotów, które muszą współdziałać aby wystąpić w tej roli. Natomiast semantyka operacyjna została zaprezentowana w formie reguł systemu wnioskowania.