Sciweavers

121 search results - page 25 / 25
» Defeasible Logic
Sort
View
EMSOFT
2004
Springer
14 years 4 months ago
A model-based approach to integrating security policies for embedded devices
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
Michael McDougall, Rajeev Alur, Carl A. Gunter