A model-based approach to integrating security policies for embedded devices

This publication has 12 references indexed in Scilit:

• EFFICIENT DEFEASIBLE REASONING SYSTEMS
  International Journal on Artificial Intelligence Tools, 2001
• Propositional defeasible logic has linear complexity
  Theory and Practice of Logic Programming, 2001
• A hybrid model for specifying features and detecting interactions
  Computer Networks, 2000
• Enforceable security policies
  ACM Transactions on Information and System Security, 2000
• A declarative approach to business rules in contracts
  Published by Association for Computing Machinery (ACM) ,1999
• Conflicts in policy-based distributed systems management
  IEEE Transactions on Software Engineering, 1999
• Formal methods
  ACM Computing Surveys, 1996
• Computer-aided verification
  IEEE Spectrum, 1996
• Miro: visual specification of security
  IEEE Transactions on Software Engineering, 1990
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987