Consider the set of rights {read, write, execute, modify, own}. • Write a command change_rights(s, o) using the syntax discussed in the class.
The command must cause the subject “s” to add the “read”, “write”, and “execute” rights for the subject “s” over the object “o”, if “s” is an owner of “o”.
• Alter the above command such that the addition of rights can only occur if “p” has the “modify” right over “f”.