857 search results - page 7 / 172 » A Formal Framework for Adaptive Access Control Models |
TDSC
2008
13 years 7 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
SEC
2004
13 years 8 months ago
2004
Business Processes for Web Services (BPEL4WS) are the new paradigms for lightweight enterprise integration. They cross organizational boundaries and are provided by entities that s...
ACISP
2003
Springer
14 years 22 days ago
2003
Springer
Abstract. This paper examines the access control requirements of distributed health care information networks. Since the electronic sharing of an individual’s personal health inf...
IEEECIT
2005
IEEE
14 years 1 months ago
2005
IEEE
Context is a key factor in making make access control decision in modern information system. But a formal context model is needed to guide research of implementation of Context-se...
DBSEC
2010
13 years 9 months ago
2010
The intent of peer data management systems (PDMS) is to share as much data as possible. However, in many applications leveraging sensitive data, users demand adequate mechanisms to...