Sciweavers

3712 search results - page 262 / 743
» Role-Based Access Control
Sort
View
CSFW
2006
IEEE
16 years 19 days ago
Non-Interference in Constructive Authorization Logic
We present a constructive authorization logic where the meanings of connectives are defined by their associated inference rules. This ensures that the logical reading of access c...
Deepak Garg, Frank Pfenning
BROADNETS
2005
IEEE
16 years 6 days ago
Performance analysis of the ieee 802.11e block ACK scheme in a noisy channel
— A Block ACK (BTA) scheme has been proposed in IEEE 802.11e to improve medium access control (MAC) layer performance. It is also a promising technique for next-generation high-s...
Tianji Li, Qiang Ni, Thierry Turletti, Yang Xiao
MDM
2001
Springer
148views Communications» more  MDM 2001»
15 years 11 months ago
An Agent-Based Architecture Using XML for Mobile Federated Database Systems
We advocate the use of agents to model a system that allows us to integrate and protect information stored in both mobile and fixed devices, while trying to preserve a consistent a...
Carlos Sánchez, Le Gruenwald
MMMACNS
2001
Springer
15 years 11 months ago
The Set and Function Approach to Modeling Authorization in Distributed Systems
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
Tatyana Ryutov, B. Clifford Neuman
ESORICS
2006
Springer
15 years 10 months ago
Discretionary Capability Confinement
Motivated by the need of application-level access control in dynamically extensible systems, this work proposes a static annotation system for modeling capabilies in a Java-like pr...
Philip W. L. Fong