First thing I'm not certain in the paper about is the following:
The paper Alan linked:
>> It has been claimed in the past that in the presence of Miller et al.’ s property A, Cs prevent CDAs
This references both Norm's original confused deputy paper, capability
myths demolished, and another paper.
I don't see anywhere in Norm's paper where he actually claims that
they are prevented. The closest I could find to that
in Norm's description of the confused deputy problem is the following...
Norm (The confused deputy problem)
>> If you try to solve this problem without capabilities, remember that the file (SYSX)STAT must also be protected.)
>> The capability solution would endow the compiler with a direct capability to the statistics file.
He seems to merely point out that there exists a solution with
capabilities which does not require knowledge and encoding of all the
security properties
and states. Making even providing a solution outside of capabilities
relatively intractable. At least that is what I always took from it.
Capability myths demolished:
>> capabilities provide much better support for least-privilege operation and for avoiding confused deputy problems.
Then later this gem...
>> Eliminating ambient authority helps make it possible to avoid confused deputies, but doesn’t guarantee that
>> deputies will never be confused.
And this:
>> Even if one can distinguish the keys, deciding to try all available keys puts one at risk of becoming a confused deputy.
I don't see anywhere these two papers purport to prevent confused
deputy attacks?