Access Control, Security, and Trust:

Exercise 2.3.3) Let m be the Kripke structure where W, I and J are definde as follows:

W= {t,u,v,x,y,z}

The other part of the question is in the picture.

A Language for Access Control : PropVar 2w given by: 1(p) = {x,y,z} 1(q) = {x,y,r) 1(r) = {y,t, u. z) J : PNam e2w given by: 7(A) {(w, w) | we W} U {(x,y), (x,z), (z,t), (y, v), (v,y), (v,x)) /(B) = {(x, w) | w e Wu (y,t), (z,t), (t, v)). Calculate each of the following sets a. Earl(p34) b. Ear lA says (p r)] c. Ey IA says (B says q)] d. Eg B says (B says q)I e. Est A controls (B says q)] fE A controls (B controls q)l