Sciweavers

857 search results - page 23 / 172
» A Formal Framework for Adaptive Access Control Models
Sort
View
CSI
2007
122views more  CSI 2007»
13 years 7 months ago
Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm
The subject of research in this paper is RM-ODP, an ISO/ITU-T international standard. We investigate an important challenge that the standard faces, specifically the absence of a ...
Andrey Naumenko, Alain Wegmann
CSFW
2007
IEEE
14 years 1 months ago
Do As I SaY! Programmatic Access Control with Explicit Identities
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, J...
FOIKS
2004
Springer
14 years 28 days ago
Towards a Generalized Interaction Scheme for Information Access
We introduce the formal framework of a generalized interaction scheme for information access between users and information sources. Within this framework we describe an interactio...
Yannis Tzitzikas, Carlo Meghini, Nicolas Spyratos
CORR
2008
Springer
118views Education» more  CORR 2008»
13 years 7 months ago
An Activity-Based Model for Separation of Duty
This paper offers several contributions for separation of duty (SoD) administration in role-based access control (RBAC) systems. We first introduce a new formal framework, based o...
Alessandro Colantonio, Roberto Di Pietro, Alberto ...
ITCC
2002
IEEE
14 years 14 days ago
Mask and Multiple Format: Two Notions for a Progressive and Adapted Access to Information
This paper introduces the notions of mask and multiple format for setting up a progressive access to information in an Information System. Masks consist of more or less complete r...
Marlène Villanova-Oliver, Jérô...