149
click to vote
CSFW
2006
IEEE
16 years 10 days ago
2006
IEEE
We present a constructive authorization logic where the meanings of connectives are defined by their associated inference rules. This ensures that the logical reading of access c...