144
click to vote
CSFW
2003
IEEE
15 years 8 months ago
2003
IEEE
A type system is presented that combines a weak form of information flow control, termed distributed access control in the paper, with typed cryptographic operations. The motivat...