852 search results - page 123 / 171 » Model-Checking Access Control Policies |
153
click to vote
CCS
2010
ACM
15 years 3 months ago
2010
ACM
Models based on system calls are a popular and common approach to characterize the run-time behavior of programs. For example, system calls are used by intrusion detection systems...
149
click to vote
WSC
1998
15 years 4 months ago
1998
The Detailed Policy Assessment Tool (DPAT) is a widely used simulation of air traffic control that incorporates advanced technology for user-friendly operation. DPAT computes cong...
112
click to vote
MM
2004
ACM
2004
ACM
SMARXO: towards secured multimedia applications by adopting RBAC, XML and object-relational database
15 years 8 months ago
In this paper, a framework named SMARXO is proposed to address the security issues in multimedia applications by adopting RBAC (Role-Based Access Control), XML, and ObjectRelation...
120
click to vote
TGC
2005
Springer
15 years 8 months ago
2005
Springer
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acade...
128
click to vote
NOSSDAV
2005
Springer
15 years 8 months ago
2005
Springer
We propose an efficient placement algorithm and per-disk prefetching method to effectively support interactive operations in the media server. Our placement policy is incorporate...