852 search results - page 156 / 171 » Model-Checking Access Control Policies |
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Abstract. In this chapter we discuss the susceptibility of critical information infrastructures to computer-borne attacks and faults, mainly due to their largely computerized natur...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
Our research explored factors that impacted the use of wikis as a tool to support the dissemination of knowledge within an enterprise. Although we primarily talked to a population...
ACSC
2008
IEEE
14 years 2 months ago
2008
IEEE
While mobile computing provides a potentially vast business opportunity for many industry participants, it also raises issues such as security and performance. This paper proposes...
ACSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
Jails, Sandboxes and other isolation mechanisms limit the damage from untrusted programs by reducing a process’s privileges to the minimum. Sandboxing is designed to thwart such...
COMPSAC
2007
IEEE
14 years 1 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 ...