173 search results - page 26 / 35 » Evaluating Access Control Policies Through Model Checking |
DAC
2007
ACM
14 years 8 months ago
2007
ACM
Many embedded systems contain resource constrained microcontrollers where applications, operating system components and device drivers reside within a single address space with no...
Publication
Accessibility is a comprehensive measure of the interaction between land use and transportation
systems. It has been put forward as a performance-measure for evaluating the land u...
ECSCW
2007
13 years 9 months ago
2007
Previous work has found that (a) when software is developed collaboratively, concurrent accesses to related pieces of code are made, and (b) when these accesses are coordinated asy...
TAMODIA
2008
13 years 9 months ago
2008
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...
ENTCS
2007
13 years 7 months ago
2007
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...