Sciweavers

800 search results - page 28 / 160
» XML access control using static analysis
Sort
View
PPL
2007
86views more  PPL 2007»
15 years 2 months ago
Failure-Sensitive Analysis of Parallel Algorithms with Controlled Memory Access Concurrency
ract problem of using P failure-prone processors to cooperatively update all locations of an N-element shared array is called Write-All. Solutions to Write-All can be used iterati...
Chryssis Georgiou, Alexander Russell, Alexander A....
VTC
2008
IEEE
15 years 9 months ago
Throughput Analysis of DS-CDMA Wireless Packet Access using Frequency-Domain Equalization and Random TPC
— Recently, we proposed a random transmit power control (TPC) to increase the uplink capacity of DS-CDMA wireless packet access using Rake combining. Furthermore, we evaluated th...
Haruki Ito, Eisuke Kudoh, ZhiSen Wang, Fumiyuki Ad...
114
Voted
SOSP
2003
ACM
16 years 8 days ago
RacerX: effective, static detection of race conditions and deadlocks
This paper describes RacerX, a static tool that uses flowsensitive, interprocedural analysis to detect both race conditions and deadlocks. It is explicitly designed to find erro...
Dawson R. Engler, Ken Ashcraft
TACAS
2009
Springer
207views Algorithms» more  TACAS 2009»
15 years 10 months ago
RBAC-PAT: A Policy Analysis Tool for Role Based Access Control
Abstract. Role-Based Access Control (RBAC) has been widely used for expressing access control policies. Administrative Role-Based Access Control (ARBAC) specifies how an RBAC poli...
Mikhail I. Gofman, Ruiqi Luo, Ayla C. Solomon, Yin...
IAT
2010
IEEE
15 years 1 months ago
Risk Analysis in Access Control Systems Based on Trust Theories
There is a need for research on the scientific base and engineering requirements for building trustworthy systems in dynamic environments. To address this need, we study risk analy...
J. Ma, Luigi Logrippo, Kamel Adi, Serge Mankovski