search

prosyslab-classroom / cs348-information-security

60 stars 10 forks source link

[Question][Hw4] #289

Closed anisrashidov closed 1 year ago

anisrashidov commented 1 year ago

Screenshot from 2023-05-09 01-15-38 Can you explain me what is ( Object.t * command list ) in processes parameter of Acl.run? If possible, could you give an example of such an entry?

tanapthetimid commented 1 year ago

It is the list of commands inside an object. For example, in scenario 3: the "conferer" object (which itself is a subject when it starts executing) has 2 commands in its command list, "confer..." and "execute...".