Inproceedings,

Direct static enforcement of high-level security policies.

, and .
AsiaCCS, page 214-225. ACM, (2007)

Meta data

Tags

Users

  • @dblp

Comments and Reviews