Steve Barker

发表

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

Michael Leuschel, Mauricio Varea, Steve Barker, 2008, High. Order Symb. Comput..

Socially Constructed Trust for Distributed Authorization

Steve Barker, Valerio Genovese, S. Barker, 2011, ESORICS.

Protecting deductive databases from unauthorized retrieval and update requests

Steve Barker, S. Barker, 2002, Data Knowl. Eng..

Data and Applications Security XXI

Gail-Joon Ahn, Steve Barker, S. Barker, 2007 .

Secure Deductive Databases

Steve Barker, 2001, PADL.

The next 700 access control models or a unifying meta-model?

Steve Barker, 2009, SACMAT '09.

Flexible access control policy specification with constraint logic programming

Peter J. Stuckey, Steve Barker, Peter James Stuckey, 2003, TSEC.

Power quality - The hidden cost - Uncorrected power quality (PQ) issues can bring a host of problems from unnecessary power losses through to catastrophic equipment failure

Steve Barker, 2007 .

Practical RBAC policy implementation for SQL databases

Steve Barker, Paul Douglas, 2004 .

Information Security: A Logic Based Approach

Steve Barker, 2000, ICEIS.

Access control by action control

Steve Barker, 2008, SACMAT '08.

A 31 ppm/° C Pure CMOS Bandgap Reference by Exploiting Beta-Multiplier

Khaled Hayatleh, Nabil Yassine, Steve Barker, 2018, VDAT.

Logical Approaches to Authorization Policies

Steve Barker, 2012, Logic Programs, Norms and Action.

Access Control with Privacy Enhancements a Unified Approach

Steve Barker, Valerio Genovese, S. Barker, 2012, IEEE Transactions on Dependable and Secure Computing.

An e-learning tool for database administration

Steve Barker, Paul Douglas, 2005, International Conference on Information Technology: Coding and Computing (ITCC'05) - Volume II.

Proceedings of the 21st annual IFIP WG 11.3 working conference on Data and applications security

Gail-Joon Ahn, Steve Barker, S. Barker, 2007 .

Labeled Logic Programs

Steve Barker, 2004, ICLP.

Implementing RBAC policies in PL/SQL

Steve Barker, Paul Douglas, Terry Fanning, 2003 .

An Expert System for Intelligent Database Design

Steve Barker, 1999, IC-AI.

Dynamic Event-Based Access Control as Term Rewriting

Clara Bertolissi, Maribel Fernández, Steve Barker, 2007, DBSec.

An Intelligent Tutoring System for Database Transaction Processing

Steve Barker, Paul Douglas, 2004, ICEIS.

Efficient and flexible access control via logic program specialisation

Michael Leuschel, Mauricio Varea, Steve Barker, 2004, PEPM '04.

Protecting federated databases using a practical implementation of a formal RBAC policy

Steve Barker, Paul Douglas, S. Barker, 2004, International Conference on Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004..

Dynamics in Delegation and Revocation Schemes: A Logical Approach

Guido Boella, Leon van der Torre, Steve Barker, 2011, DBSec.

SPITS: A Schedule Properties Teaching Tool

Steve Barker, Paul Douglas, 2002 .

Panel Session: What Are the Key Challenges in Distributed Security?

David W. Chadwick, Bhavani M. Thuraisingham, Emil C. Lupu, 2008, DBSec.

Dynamic Meta-level Access Control in SQL

Steve Barker, S. Barker, 2008, DBSec.

A 0.6 V MOS-Only Voltage Reference for Biomedical Applications with 40 ppm/∘C Temperature Drift

Khaled Hayatleh, Nabil Yassine, Steve Barker, 2017, J. Circuits Syst. Comput..

Implementing RBAC Policies

Steve Barker, Paul Douglas, Terry Fanning, 2002, DBSec.

Web Resource Usage Control in RSCLP

Steve Barker, S. Barker, 2004, DBSec.

Access policy specification for Web applications

Steve Barker, 2004, International Conference on Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004..

GPF: A General Policy Framework

Steve Barker, Gillian Lowen, 2011, 2011 IEEE International Symposium on Policies for Distributed Systems and Networks.

ICEIS 2000, Proceedings of the Second International Conference on Enterprise Information Systems, Stafford, UK, July 4-7, 2000

Marco Torchiano, Gerd Wagner, Ronald Stamper, 2000, ICEIS.

Reasoning about delegation and revocation schemes in answer set programming

Dov M. Gabbay, Guido Boella, Steve Barker, 2014, J. Log. Comput..

Event-oriented Web-based E-trading

Steve Barker, Gillian Lowen, 2009, Electron. Notes Theor. Comput. Sci..

Temporal Authorization in the Simplified Event Calculus

Steve Barker, 1999, DBSec.

A database transaction scheduling tool in Prolog

Steve Barker, Paul Douglas, 2004 .

Deductive Database Security

Steve Barker, 2002, DBSec.

Using The Delphi Technique To Establish A Robust Research Agenda For Remanufacturing

Andrew King, Steve Barker, Andrew King, 2007 .

TRBAC: A Temporal Authorization Model

Steve Barker, 2001, MMM-ACNS.

A logic programming e-learning tool for teaching database dependency theory

Steve Barker, Paul Douglas, 2004 .

Coherent Design Rationale and its importance to the Remanufacturing Sector

Andrew King, Steve Barker, Andrew King, 2007 .

Extended Protected Databases: A Practical Implementation

Steve Barker, Paul Douglas, 2003, ICEIS.

A Logic of Privacy

Steve Barker, Valerio Genovese, S. Barker, 2010, DBSec.

Protecting Deductive Databases from Unauthorized Retrievals

Steve Barker, 2000, DBSec.

Data and Applications Security XXI, 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007, Proceedings

Gail-Joon Ahn, Steve Barker, 2007, DBSec.

An intelligent teaching tool for CRAS property satisfaction

Steve Barker, Paul Douglas, 2003 .

Term Rewriting for Access Control

Maribel Fernández, Steve Barker, S. Barker, 2006, DBSec.

Leader-Follower Strategies for Robot-Human Collaboration

Steve Barker, Michael Pilling, Luis A. Fuente, 2017 .

The Scientific Contribution of Marek Sergot

Stephen Muggleton, Alessio Lomuscio, Antonis C. Kakas, 2012, Logic Programs, Norms and Action.

Secure knowledge exchange by policy algebra and erml

Steve Barker, Paul Douglas, 2007, ICEIS.

Distributed Access Control: A Logic-Based Approach

Steve Barker, 2003, MMM-ACNS.

RBAC Policy Implementation for SQL Databases

Steve Barker, Paul Douglas, S. Barker, 2003, DBSec.

Design of a biologically inspired humanoid neck

Jochen J. Steil, Khaled Hayatleh, Steve Barker, 2015, 2015 IEEE International Conference on Robotics and Biomimetics (ROBIO).

Access Control for Deductive Databases by Logic Programming

Steve Barker, S. Barker, 2002, ICLP.

An intelligent tutoring system for program semantics

Steve Barker, Paul Douglas, 2005, International Conference on Information Technology: Coding and Computing (ITCC'05) - Volume II.

Action Control by Term Rewriting

Clara Bertolissi, Maribel Fernández, Steve Barker, 2009, Electron. Notes Theor. Comput. Sci..

Personalizing access control by generalizing access control

Steve Barker, S. Barker, 2010, SACMAT '10.

A Meta-model of Access Control in a Fibred Security Language

Dov M. Gabbay, Guido Boella, Steve Barker, 2009, Stud Logica.

Action-status access control

Steve Barker, 2007, SACMAT '07.

Flexible Security Policies in SQL

Arnon Rosenthal, Steve Barker, S. Barker, 2001, DBSec.

Secommunity: A Framework for Distributed Access Control

Steve Barker, Valerio Genovese, 2011, LPNMR.

An e-learning tool for understanding schedule properties

Steve Barker, Paul Douglas, 2003, Proceedings ITCC 2003. International Conference on Information Technology: Coding and Computing.

Status-Based Access Control

Duminda Wijesekera, Marek J. Sergot, Steve Barker, 2008, TSEC.

Dependency theory e-learning tool

Steve Barker, Paul Douglas, 2004, International Conference on Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004..

Data Protection by Logic Programming

Steve Barker, 2000, Computational Logic.

Natural head movement for HRI with a muscular-skeletal head and neck robot

Khaled Hayatleh, Steve Barker, Matthias Rolf, 2017, 2017 26th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN).

A Logic Programming E-Learning Tool for Teaching Database Electronic Conference Proceedings Dependency Theory

Steve Barker, Paul Douglas, 2004 .