Search Sciweavers | Sciweavers

5252 search results - page 5 / 1051

» Logic in Access Control

click to vote

LISP
2008

97views more LISP 2008»

Efficient and flexible access control via Jones-optimal logic program specialisation

13 years 7 months ago

Download www.dcs.kcl.ac.uk

We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a datab...

Steve Barker, Michael Leuschel, Mauricio Varea

claim paper

Read More »

click to vote

CCS
2008
ACM

146views Security Privacy» more CCS 2008»

EON: modeling and analyzing dynamic access control systems with logic programs

13 years 9 months ago

Download www.cs.umd.edu

We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...

Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani...

claim paper

Read More »

click to vote

RULEML
2007
Springer

74views Internet Technology» more RULEML 2007»

Specifying Process-Aware Access Control Rules in SBVR

14 years 1 months ago

Download www.econ.kuleuven.ac.be

Abstract. Access control is an important aspect of regulatory compliance. Therefore, access control speciﬁcations must be process-aware in that they can refer to an underlying bu...

Stijn Goedertier, Christophe Mues, Jan Vanthienen

claim paper

Read More »

click to vote

CSFW
2008
IEEE

118views Security Privacy» more CSFW 2008»

Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis

14 years 2 months ago