Posted: January 31st, 2017
1. Consider the following set of commands on an access control matrix
A[s:subject, o:object] : Actions={read, write, execute, append, list, modify, own}
Basic Commands :
Create subject S, Create Object O, Enter action R into A[S,O], Delete action R from A[S,O], Destroy subject S, Destroy Object O Conditional command of the following kind ():
Command name(parameters)
If
then
end
Where can be of the form “if in A[p,f]” or conjunctions thereof.
A. Write a command for delegate_all_rights_(p: subject, q: subject, o:object) that delegates all rights
has over subject to subject .
B. Write a command for revoke_all_rights_(p: subject, q: subject, o:object) that deletes all rights that subject
has over object from subject .
C. Write the preconditions and post conditions for the conditional command delegate_all_rights you wrote for 1(A).
Place an order in 3 easy steps. Takes less than 5 mins.