Given the following specifications,
a. Write the access control list
b. Can Processes P3 leak information from Alice’s files to Bob? Explain by referring to your information
flow graph.
Specifications:
1.Three processes P1 to P3 and 5 files F1 to F5 exist in a system.
2.Suppose P1 can be executed by any user. It is a public process.
3.P2 is owned by Bob and P3 is owned by Alice
4.Bob is the owner of files F1 and F2 and his processes can read, write these files. Bob allows
Alice to read his files but not to write to them.
5.Alice owns files F3 and F4. She allows her processes to read but not write to these files. She
also does not allow anyone else to read or write to her files.
6.File F5 was created by a third user using process P1 and therefore it can be accessed (r, w) by
anyone. Anyone can change the file’s permission, mode bits and the file name as well.
Sample Solution