Composing security policies with polymer

This publication has 10 references indexed in Scilit:

• Edit automata: enforcement mechanisms for run-time security policies
  International Journal of Information Security, 2005
• A theory of aspects
  Published by Association for Computing Machinery (ACM) ,2003
• Pointcuts and advice in higher-order languages
  Published by Association for Computing Machinery (ACM) ,2003
• Mechanisms for secure modular programming in Java
  Software: Practice and Experience, 2003
• Flexible policy-directed code safety
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Stack inspection
  Published by Association for Computing Machinery (ACM) ,2002
• Enforceable security policies
  ACM Transactions on Information and System Security, 2000
• Enforcing trace properties by program transformation
  Published by Association for Computing Machinery (ACM) ,2000
• Adding type parameterization to the Java language
  Published by Association for Computing Machinery (ACM) ,1997
• The protection of information in computer systems
  Proceedings of the IEEE, 1975