| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Steve Barker, Andrew J. I. Jones, Antonis C. Kakas, Robert A. Kowalski, Alessio Lomuscio, Rob Miller 0002, Stephen Muggleton, Giovanni Sartor |
The Scientific Contribution of Marek Sergot.  |
Logic Programs, Norms and Action  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker |
Logical Approaches to Authorization Policies. |
Logic Programs, Norms and Action |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker, Gillian Lowen |
GPF: A General Policy Framework. |
POLICY |
2011 |
DBLP DOI BibTeX RDF |
Policies, Policy Languages, Policy Models |
| 1 | Steve Barker, Valerio Genovese |
Secommunity: A Framework for Distributed Access Control. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert van der Torre |
Dynamics in Delegation and Revocation Schemes: A Logical Approach. |
DBSec |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker, Valerio Genovese |
Socially Constructed Trust for Distributed Authorization. |
ESORICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker |
Personalizing access control by generalizing access control. |
SACMAT |
2010 |
DBLP DOI BibTeX RDF |
integrity, privacy policies, access control models |
| 1 | Steve Barker, Valerio Genovese |
A Logic of Privacy. |
DBSec |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese |
A Meta-model of Access Control in a Fibred Security Language. |
Studia Logica |
2009 |
DBLP DOI BibTeX RDF |
Fibring, Security, Access Control, Logic |
| 1 | Steve Barker, Clara Bertolissi, Maribel Fernández |
Action Control by Term Rewriting. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker, Gill Lowen |
Event-oriented Web-based E-trading. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker |
The next 700 access control models or a unifying meta-model? |
SACMAT |
2009 |
DBLP DOI BibTeX RDF |
access control policies, access control models |
| 1 | Steve Barker, Marek J. Sergot, Duminda Wijesekera |
Status-Based Access Control. |
ACM Trans. Inf. Syst. Secur. |
2008 |
DBLP DOI BibTeX RDF |
distributed security, status-based access control, logic, algebras |
| 1 | Steve Barker, Michael Leuschel, Mauricio Varea |
Efficient and flexible access control via Jones-optimal logic program specialisation. |
Higher-Order and Symbolic Computation |
2008 |
DBLP DOI BibTeX RDF |
Access control, Program transformation, Deductive databases, Partial evaluation, Meta-programming |
| 1 | Steve Barker |
Access control by action control. |
SACMAT |
2008 |
DBLP DOI BibTeX RDF |
action control, logic |
| 1 | Steve Barker, David Chadwick, Jason Crampton, Emil Lupu, Bhavani M. Thuraisingham |
Panel Session: What Are the Key Challenges in Distributed Security?. |
DBSec |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker |
Dynamic Meta-level Access Control in SQL. |
DBSec |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker, Paul Douglas |
Secure knowledge exchange by policy algebra and erml. |
ICEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Steve Barker |
Action-status access control. |
SACMAT |
2007 |
DBLP DOI BibTeX RDF |
ASAC, access control, policies |
| 1 | Steve Barker, Gail-Joon Ahn (eds.) |
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 |
DBSec |
2007 |
DBLP BibTeX RDF |
|
| 1 | Clara Bertolissi, Maribel Fernández, Steve Barker |
Dynamic Event-Based Access Control as Term Rewriting. |
DBSec |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker, Maribel Fernández |
Term Rewriting for Access Control. |
DBSec |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker, Paul Douglas |
An Intelligent Tutoring System for Program Semantics. |
ITCC |
2005 |
DBLP DOI BibTeX RDF |
E-Learning, Educational Software, Program Semantics |
| 1 | Paul Douglas, Steve Barker |
An E-learning tool for Database Administration. |
ITCC |
2005 |
DBLP DOI BibTeX RDF |
Databases, E-Learning, Recovery, Educational Software, Transaction Scheduling |
| 1 | Steve Barker, Paul Douglas |
An Intelligent Tutoring System for Database Transaction Processing. |
ICEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Steve Barker |
Labeled Logic Programs. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker, Michael Leuschel, Mauricio Varea |
Efficient and flexible access control via logic program specialisation. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
Cogen approach, database access control, program transformation, datalog, partial deduction |
| 1 | Steve Barker |
Web Resource Usage Control in RSCLP. |
DBSec |
2004 |
DBLP BibTeX RDF |
|
| 1 | Steve Barker |
Access Policy Specification for Web Applications. |
ITCC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Douglas, Steve Barker |
Dependency Theory E-Learning Tool. |
ITCC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker, Paul Douglas |
Protecting Federated Databases Using A Practical Implementation of a Formal RBAC Policy. |
ITCC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker, Peter J. Stuckey |
Flexible access control policy specification with constraint logic programming. |
ACM Trans. Inf. Syst. Secur. |
2003 |
DBLP DOI BibTeX RDF |
Role-based access control, constraint logic programming |
| 1 | Steve Barker |
Distributed Access Control: A Logic-Based Approach. |
MMM-ACNS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker, Paul Douglas |
Extended Protected Databases: A Practical Implementation. |
ICEIS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Steve Barker, Paul Douglas |
RBAC Policy Implementation for SQL Databases. |
DBSec |
2003 |
DBLP BibTeX RDF |
|
| 1 | Steve Barker, Paul Douglas |
An E-Learning Tool for Understanding Schedule Properties. |
ITCC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker |
Protecting deductive databases from unauthorized retrieval and update requests. |
Data Knowl. Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker |
Access Control for Deductive Databases by Logic Programming. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker |
Deductive Database Security. |
DBSec |
2002 |
DBLP BibTeX RDF |
|
| 1 | Steve Barker, Paul Douglas, Terry Fanning |
Implementing RBAC Policies. |
DBSec |
2002 |
DBLP BibTeX RDF |
|
| 1 | Steve Barker |
TRBAC: A Temporal Authorization Model. |
MMM-ACNS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker |
Secure Deductive Databases. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker, Arnon Rosenthal |
Flexible Security Policies in SQL. |
DBSec |
2001 |
DBLP BibTeX RDF |
|
| 1 | Steve Barker |
Information Security: A Logic Based Approach. |
ICEIS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Steve Barker |
Protecting Deductive Databases from Unauthorized Retrievals. |
DBSec |
2000 |
DBLP BibTeX RDF |
|
| 1 | Steve Barker |
Data Protection by Logic Programming. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Barker |
An Expert System for Intelligent Database Design. |
IC-AI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Steve Barker |
Temporal Authorization in the Simplified Event Calculus. |
DBSec |
1999 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")