580 search results - page 73 / 116 » The Interaction of Access Control and Object-Orientation in ... |
ICISC
2007
15 years 3 months ago
2007
VMM (virtual machine monitor) based system provides the useful inspection and interposition of guest OS. With proper modification of guest OS, we can obtain event-driven memory sn...
136
click to vote
SAC
2000
ACM
15 years 6 months ago
2000
ACM
Linda is a high level communication model which allows agents to communicate via a shared tuple spaces without knowing each other’s identities and without having to arrange for ...
129
click to vote
VRCAI
2009
ACM
15 years 8 months ago
2009
ACM
Terrain maps, commonly used for updating elevation values of a moving object (i.e., a traveler), may be conveniently used for detecting and preventing collisions between the trave...
123
click to vote
SP
2009
IEEE
15 years 8 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
114
click to vote
COMPSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
We present in this paper an adaptive security model for Multi-agent systems. A security meta-model has been developed in which the traditional role concept has been extended. The ...