Sciweavers

565 search results - page 4 / 113
» A logic for authorization provenance
Sort
View
ICWE
2010
Springer
13 years 9 months ago
Deriving Vocal Interfaces from Logical Descriptions in Multi-device Authoring Environments
Model-based approaches for interactive Web applications have neglected vocal interaction. However, ubiquitous multi-device environments call for better support for such modality. I...
Fabio Paternò, Christian Sisti
SP
1997
IEEE
134views Security Privacy» more  SP 1997»
13 years 11 months ago
A Logical Language for Expressing Authorizations
A major drawback of existing access control systems is that they have all been developed with a specific access control policy in mind. This means that all protection requirement...
Sushil Jajodia, Pierangela Samarati, V. S. Subrahm...
CCS
2005
ACM
14 years 1 months ago
PeerAccess: a logic for distributed authorization
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
Marianne Winslett, Charles C. Zhang, Piero A. Bona...
ESORICS
2007
Springer
14 years 1 months ago
A Logic for State-Modifying Authorization Policies
Moritz Y. Becker, Sebastian Nanz