BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Italy
1 × UK
1 × USA
1 × United Kingdom
2 × France
2 × Portugal
Collaborated with:
P.Douglas M.Leuschel M.Varea
Talks about:
logic (5) program (4) databas (4) secur (3) protect (2) control (2) deduct (2) access (2) specialis (1) implement (1)

Person: Steve Barker

DBLP DBLP: Barker:Steve

Contributed to:

ICEIS DISI 20072007
ICEIS v2 20042004
ICLP 20042004
PEPM 20042004
ICEIS v1 20032003
ICLP 20022002
PADL 20012001
CL 20002000
ICEIS 20002000

Wrote 9 papers:

ICEIS-DISI-2007-BarkerD #algebra #information management #policy
Secure knowledge exchange by policy algebra and erml (SB, PD), pp. 212–217.
ICEIS-v2-2004-BarkerD #database #transaction
An Intelligent Tutoring System for Database Transaction Processing (SB, PD), pp. 197–203.
ICLP-2004-Barker #logic programming #source code
Labeled Logic Programs (SB), pp. 448–449.
PEPM-2004-BarkerLV #data access #flexibility #logic programming #performance
Efficient and flexible access control via logic program specialisation (SB, ML, MV), pp. 190–199.
ICEIS-v1-2003-BarkerD #database #implementation
Extended Protected Databases: A Practical Implementation (SB, PD), pp. 456–459.
ICLP-2002-Barker #data access #database #deduction #logic programming
Access Control for Deductive Databases by Logic Programming (SB), pp. 54–69.
PADL-2001-Barker #database #deduction
Secure Deductive Databases (SB), pp. 123–137.
CL-2000-Barker #logic programming
Data Protection by Logic Programming (SB), pp. 1300–1314.
ICEIS-2000-Barker #approach #logic #security
Information Security: A Logic Based Approach (SB), pp. 9–14.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.