807 search results - page 8 / 162 » Term Rewriting for Access Control |
FROCOS
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
SP
1998
IEEE
13 years 11 months ago
1998
IEEE
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...
CSFW
2003
IEEE
14 years 20 days ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract—In this paper we study the problem of providing shortterm access time fairness in wireless communication systems with multimedia services, while still maintaining high s...
RULEML
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Access control is an important aspect of regulatory compliance. Therefore, access control specifications must be process-aware in that they can refer to an underlying bu...