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: Barker:Steve
Contributed to:
20072004
2004
200420032002
2001
20002000Wrote 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.