Click here to order similar paper @Essaybay.net. 100% Original.Written from scratch by professional writers.
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).