2024 search results - page 109 / 405 » A Logic Based Approach for Dynamic Access Control |
117
Voted
IROS
2008
IEEE
15 years 9 months ago
2008
IEEE
— This paper deals with a control approach dedicated to stable limit cycle generation for underactuated mechanical systems. The proposed approach is based on partial nonlinear fe...
126
click to vote
ICDE
2007
IEEE
15 years 9 months ago
2007
IEEE
Separation of duties (SoD) is a key security requirement for many business and information systems. Role Based Access Controls (RBAC) is a relatively new paradigm for protecting i...
133
Voted
SP
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
148
click to vote
TNN
2010
14 years 10 months ago
2010
This paper provides a comprehensive framework for the state space approach to Boolean networks. First, it surveys the authors' recent work on the topic: Using semitensor produ...
149
Voted
IEEEARES
2007
IEEE
15 years 9 months ago
2007
IEEE
Access control in decentralised collaborative systems present huge challenges especially where many autonomous entities including organisations, humans, software agents from diff...