Managing Policy Updates in Security-Typed Languages

This publication has 17 references indexed in Scilit:

• Managing Policy Updates in Security-Typed Languages
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2006
• AtomCaml
  Published by Association for Computing Machinery (ACM) ,2005
• Robust declassification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Understanding SPKI/SDSI using first-order logic
  International Journal of Information Security, 2005
• A Design for a Security-Typed Language with Certificate-Based Declassification
  Published by Springer Nature ,2005
• Dynamic Security Labels and Noninterference (Extended Abstract)
  Published by Springer Nature ,2005
• Enforcing robust declassification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• Language-based information-flow security
  IEEE Journal on Selected Areas in Communications, 2003
• Information flow inference for ML
  ACM Transactions on Programming Languages and Systems, 2003
• Metapolicies I
  ACM SIGSAC Review, 1992