3 ms·
Why not? Answering the question: “Can this process access this resource?” is equivalent to solving the halting problem. There’s a reason simpler access contro
by hedora 1y ago
Why not?
Answering the question: “Can this process access this resource?” is equivalent to solving the halting problem.
There’s a reason simpler access control models are popular. Even ACLs are completely untenable in practice. Look at all the trouble accidentally-public s3 buckets create.
- ablob 1y agoNow I am aware that answering the question is np-hard, but why (and how) is it equivalent to solving the halting problem?
- hedora 1y agoA module has a line of code that gives the capability to the component we are asking about. Is that line of code executed? Replace the line with “halt”, and change the question to “Does this program halt?”