857 search results - page 26 / 172 » A Formal Framework for Adaptive Access Control Models |
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
SECON
2007
IEEE
14 years 1 months ago
2007
IEEE
Dynamic spectrum access has become a promising approach to fully utilize the scarce spectrum resources. In a dynamically changing spectrum environment, it is very important to desi...
CSFW
2004
IEEE
13 years 11 months ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...
PET
2004
Springer
14 years 27 days ago
2004
Springer
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...
CSREASAM
2007
13 years 9 months ago
2007
- Context-based access control is an emerging approach for modeling adaptive solution, making access control management more flexible and powerful. However, these strategies are in...