423 search results - page 30 / 85 » A Logical Approach to Dynamic Role-Based Access Control |
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
CONCUR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
TCAD
2008
13 years 7 months ago
2008
Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...
COLCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
—In an ad-hoc collaborative sharing environment, attribute-based access control provides a promising approach in defining authorization over shared resources based on users’ p...
DSRT
2004
IEEE
13 years 11 months ago
2004
IEEE
The Experimentation Command and Control Interface (XC2I) project has developed an architecture for a Webservice based viewer/controller for use with distributed simulations suppor...