Sciweavers

2940 search results - page 241 / 588
» Relational Parametricity and Control
Sort
View
ICFP
2008
ACM
16 years 6 months ago
AURA: a programming language for authorization and audit
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianz...
CDC
2008
IEEE
198views Control Systems» more  CDC 2008»
16 years 1 months ago
Performance analysis of different routing protocols in Wireless Sensor Networks for real-time estimation
— In this paper we analyze the performance of two different routing protocols specifically designed for Wireless Sensor Networks (WSNs) for real-time estimation, control, and mo...
Damiano Varagnolo, Phoebus Chen, Luca Schenato, Sh...
CBSE
2005
Springer
16 years 5 days ago
Exogenous Connectors for Software Components
In existing component models, control originates in components, and connectors are channels for passing on the control to other components. This provides a mechanism for message pa...
Kung-Kiu Lau, Perla Velasco Elizondo, Zheng Wang
SACMAT
2003
ACM
15 years 12 months ago
Induced role hierarchies with attribute-based RBAC
The Role-Based Access Control (RBAC) model is traditionally used to manually assign users to appropriate roles. When the service-providing enterprise has a massive customer base, ...
Mohammad A. Al-Kahtani, Ravi S. Sandhu
165
Voted
SACMAT
2010
ACM
15 years 11 months ago
Role updating for assignments
The role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are usually unde...
Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu