Sciweavers

5200 search results - page 278 / 1040
» Symbolic models for control systems
Sort
View
SOCO
2008
Springer
15 years 5 months ago
Component-Based Access Control: Secure Software Composition through Static Analysis
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
Pierre Parrend, Stéphane Frénot
SP
1997
IEEE
134views Security Privacy» more  SP 1997»
15 years 9 months ago
A Logical Language for Expressing Authorizations
A major drawback of existing access control systems is that they have all been developed with a specific access control policy in mind. This means that all protection requirement...
Sushil Jajodia, Pierangela Samarati, V. S. Subrahm...
SACMAT
2004
ACM
15 years 11 months ago
Using trust and risk in role-based access control policies
Emerging trust and risk management systems provide a framework for principals to determine whether they will exchange resources, without requiring a complete definition of their ...
Nathan Dimmock, András Belokosztolszki, Dav...
142
Voted
HYBRID
2007
Springer
15 years 9 months ago
On Self-triggered Full-Information H-Infinity Controllers
Abstract. A self-triggered control task is one in which the task determines its next release time. It has been conjectured that self-triggering can relax the requirements on a real...
Michael D. Lemmon, Thidapat Chantem, Xiaobo Sharon...
SASO
2010
IEEE
15 years 3 months ago
A Decentralised Architecture for Multi-objective Autonomic Management
Designing and organising large numbers of autonomic resources into a coherent system is a difficult endeavour. It necessitates handling complex interactions among dynamic, heteroge...
Sylvain Frey, Philippe Lalanda, Ada Diaconescu