Jason Crampton

发表

The secondary and approximate authorization model and its application to Bell-LaPadula policies

Jason Crampton, Wing Leung, Konstantin Beznosov, 2006, SACMAT '06.

A Multivariate Approach for Checking Resiliency in Access Control

Gregory Gutin, Jason Crampton, Rémi Watrigant, 2016, AAIM.

Extended privilege inheritance in RBAC

Sandro Etalle, Jason Crampton, J. G. Cederquist, 2007, ASIACCS '07.

An Approach to Parameterized Resiliency Problems Using Fourier-Motzkin Elimination for Integer Linear Programming

Gregory Gutin, Jason Crampton, Rémi Watrigant, 2016 .

Authorisation and antichains

George Loizou, Jason Crampton, 2001, OPSR.

A reference monitor for workflow systems with constrained task execution

Jason Crampton, 2005, SACMAT '05.

ARPPM: Administration in the RPPM Model

Jason Crampton, James Sellwood, 2016, CODASPY.

Authorization recycling in RBAC systems

Jason Crampton, Konstantin Beznosov, Matei Ripeanu, 2008, SACMAT '08.

Obligations in PTaCL

Jason Crampton, Conrad Williams, J. Crampton, 2015, STM.

Sleeping android: the danger of dormant permissions

Jason Crampton, James Sellwood, 2013, SPSM '13.

On the Modeling and Verification of Security-Aware and Process-Aware Information Systems

Michael Huth, Jason Crampton, 2011, Business Process Management Workshops.

Policy templates for relationship-based access control

Steve A. Schneider, Jason Crampton, Helen Treharne, 2013, 2013 Eleventh Annual Conference on Privacy, Security and Trust.

An Authorization Framework Resilient to Policy Evaluation Failures

Michael Huth, Jason Crampton, M. Huth, 2010, ESORICS.

Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning

Michael Huth, Jason Crampton, Jim Huan-Pu Kuo, 2012, PAAR@IJCAR.

An improved restricted growth function genetic algorithm for the consensus clustering of retinal nerve fibre data

Jason Crampton, David F. Garway-Heath, Stephen Swift, 2007, GECCO '07.

Access Control in Publicly Verifiable Outsourced Computation

Jason Crampton, Carlos Cid, James Alderman, 2015, IACR Cryptol. ePrint Arch..

Lazy Updates in Key Assignment Schemes for Hierarchical Access Control

Jason Crampton, 2006 .

On Completeness in Languages for Attribute-Based Access Control

Jason Crampton, Conrad Williams, 2016, SACMAT.

PTaCL: A Language for Attribute-Based Access Control in Open Systems pdf

Jason Crampton, Charles Morisset, 2012, POST.

Canonical Completeness in Lattice-Based Languages for Attribute-Based Access Control

Jason Crampton, Conrad Williams, 2017, CODASPY.

On the Workflow Satisfiability Problem with Class-Independent Constraints for Hierarchical Organizations

Gregory Gutin, Mark Jones, Magnus Wahlström, 2016, ACM Trans. Priv. Secur..

On the parameterized complexity of the workflow satisfiability problem

Gregory Gutin, Anders Yeo, Jason Crampton, 2012, CCS '12.

An Approach to Parameterized Resiliency Problems Using Integer Linear Programming pdf

Gregory Gutin, Jason Crampton, Rémi Watrigant, 2016, ArXiv.

On the Satisfiability of Constraints in Workflow Systems

Jason Crampton, J. Crampton, 2004 .

On the Workflow Satisfiability Problem with Class-independent Constraints

Gregory Gutin, Mark Jones, Jason Crampton, 2015, IPEC.

Set Covering Problems in Role-Based Access Control

Liang Chen, Jason Crampton, 2009, ESORICS.

ICARUS: intelligent coupon allocation for retailers using search

Allan Tucker, Jason Crampton, Stephen Swift, 2005, 2005 IEEE Congress on Evolutionary Computation.

Fixed-Parameter Tractability of Workflow Satisfiability in the Presence of Seniority Constraints pdf

Gregory Gutin, Mark Jones, Robert Crowston, 2012, FAW-AAIM.

Administrative scope and role hierarchy operations

Jason Crampton, 2002, SACMAT '02.

Engineering Algorithms for Workflow Satisfiability Problem with User-Independent Constraints

Gregory Gutin, Mark Jones, Jason Crampton, 2014, FAW.

Pattern-Based Plan Construction for the Workflow Satisfiability Problem pdf

Gregory Gutin, Mark Jones, Jason Crampton, 2013, ArXiv.

On permissions, inheritance and role hierarchies

Jason Crampton, J. Crampton, 2003, CCS '03.

Introduction to February 2005 issue of ISTR

Jason Crampton, J. Crampton, 2005, Information Security Technical Report.

Role Signatures for Access Control in Grid Computing

Jason Crampton, Hoon Wei Lim, 2007 .

The consistency of task-based authorization constraints in workflow

Jason Crampton, Carl A. Gunter, Kaijun Tan, 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..

A Framework for Enforcing Constrained RBAC Policies

Jason Crampton, Hemanth Khambhammettu, 2009, 2009 International Conference on Computational Science and Engineering.

Relationships, Paths and Principal Matching: A New Approach to Access Control pdf

Jason Crampton, James Sellwood, 2015, ArXiv.

Cryptographic Tools for Cloud Environments

Jason Crampton, Keith M. Martin, James Alderman, 2015 .

Path conditions and principal matching: a new approach to access control pdf

Jason Crampton, James Sellwood, 2014, SACMAT '14.

Efficiency updates for the restricted growth function GA for grouping problems

Allan Tucker, Jason Crampton, Stephen Swift, 2007, GECCO '07.

The interpretation and utility of three cohesion metrics for object-oriented design

Jason Crampton, Steve Counsell, Stephen Swift, 2006, TSEM.

Obligations in risk-aware access control

Liang Chen, Jason Crampton, Martin J. Kollingbaum, 2012, 2012 Tenth Annual International Conference on Privacy, Security and Trust.

A Logic of Access Control

George Loizou, Jason Crampton, Greg O'Shea, 2001, Computer/law journal.

Applying hierarchical and role-based access control to XML documents

Jason Crampton, J. Crampton, 2004, SWS '04.

Constraint expressions and workflow satisfiability

Gregory Gutin, Jason Crampton, G. Gutin, 2013, SACMAT '13.

Delegation and satisfiability in workflow systems

Jason Crampton, Hemanth Khambhammettu, 2008, SACMAT '08.

Towards A Generic Formal Framework for Access Control Systems pdf

Jason Crampton, Charles Morisset, 2012, ArXiv.

Understanding and developing role-based administrative models

Jason Crampton, 2005, CCS '05.

Time-Storage Trade-Offs for Cryptographically-Enforced Access Control

Jason Crampton, J. Crampton, 2011, ESORICS.

Optimal Constructions for Chain-Based Cryptographic Enforcement of Information Flow Policies pdf

Gregory Gutin, Mark Jones, Jason Crampton, 2015, DBSec.

Cryptographically-enforced hierarchical access control with multiple keys

Jason Crampton, J. Crampton, 2009, J. Log. Algebraic Methods Program..

User-friendly and certificate-free grid security infrastructure

Kenneth G. Paterson, Jason Crampton, Hoon Wei Lim, 2011, International Journal of Information Security.

Trust Management V, 5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29-July 1, 2011, Proceedings

Ehud Gudes, Ian Wakeman, Christian Damsgaard Jensen, 2011, IFIPTM.

Relationship-Based Access Control for OpenMRS pdf

Jason Crampton, Philip W. L. Fong, James Sellwood, 2015, ArXiv.

Inter-ReBAC: Inter-operation of Relationship-Based Access Control Model Instances

Jason Crampton, James Sellwood, 2016, DBSec.

An Access-Control Framework for WS-BPEL

Elisa Bertino, Jason Crampton, Federica Paci, 2008, Int. J. Web Serv. Res..

Constructing Key Assignment Schemes from Chain Partitions

Jason Crampton, Keith M. Martin, Rosli Daud, 2010, DBSec.

Iterative Plan Construction for the Workflow Satisfiability Problem

Gregory Gutin, Mark Jones, Jason Crampton, 2013, J. Artif. Intell. Res..

A Logic of Access Control

George Loizou, Jason Crampton, Greg O'Shea, 2001, Comput. J..

A Framework for the Cryptographic Enforcement of Information Flow Policies

Jason Crampton, James Alderman, Naomi Farley, 2017, SACMAT.

On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem

Gregory Gutin, Anders Yeo, Jason Crampton, 2013, TSEC.

Access control with non-deterministic and probabilistic attribute retrieval

Jason Crampton, Charles Morisset, Nicola Zannone, 2015 .

On Missing Attributes in Access Control: Non-deterministic and Probabilistic Attribute Retrieval

Jason Crampton, Charles Morisset, Nicola Zannone, 2015, SACMAT.

On the Satisfiability of Workflows with Release Points

Gregory Gutin, Jason Crampton, Rémi Watrigant, 2017, SACMAT.

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

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

Revocation in Publicly Verifiable Outsourced Computation

Jason Crampton, Carlos Cid, James Alderman, 2014, Inscrypt.

Introduction

Jason Crampton, 2004, Inf. Secur. Tech. Rep..

An Auto-delegation Mechanism for Access Control Systems

Jason Crampton, Charles Morisset, 2010, STM.

Caching and Auditing in the RPPM Model pdf

Jason Crampton, James Sellwood, 2014, STM.

The monitorability of service-level agreements for application-service provision

Wolfgang Emmerich, James Skene, Jason Crampton, 2007, WOSP '07.

On delegation and workflow execution models

Jason Crampton, Hemanth Khambhammettu, 2008, SAC '08.

RBAC administration in distributed systems

Sandro Etalle, Jason Crampton, M. A. C. Dekker, 2007, SACMAT '08.

What can identity-based cryptography offer to web services?

Kenneth G. Paterson, Jason Crampton, Hoon Wei Lim, 2007, SWS '07.

Attribute Expressions, Policy Tables and Attribute-Based Access Control

Jason Crampton, Conrad Williams, 2017, SACMAT.

Monotonicity and Completeness in Attribute-Based Access Control

Jason Crampton, Charles Morisset, 2014, STM.

A Framework for the Modular Specification and Orchestration of Authorization Policies

Michael Huth, Jason Crampton, 2010, NordSec.

Verifiably Secure Process-Aware Information Systems (Dagstuhl Seminar 13341)

Michael Huth, Stefanie Rinderle-Ma, Jason Crampton, 2013, Dagstuhl Reports.

Towards an Access-Control Framework for Countering Insider Threats

Michael Huth, Jason Crampton, 2010, Insider Threats in Cyber Security.

Table of Contents control extensions management PANEL SESSION : Cool Security Trends

Mark Strembeck, Andreas Schaad, Gustaf Neumann, 2002 .

Parameterized Resiliency Problems via Integer Linear Programming

Gregory Gutin, Martin Koutecký, Jason Crampton, 2017, CIAC.

The Authorization Policy Existence Problem

Gregory Gutin, Jason Crampton, Rémi Watrigant, 2016, IEEE Transactions on Dependable and Secure Computing.

Parameterized resiliency problems

Gregory Gutin, Martin Koutecký, Jason Crampton, 2019, Theor. Comput. Sci..

Proceedings of the 16th ACM symposium on Access control models and technologies

Jorge Lobo, Ruth Breu, Jason Crampton, 2011, SACMAT 2011.

Specifying and enforcing constraints in role-based access control

Jason Crampton, J. Crampton, 2003, SACMAT '03.

Authorized workflow schemas: deciding realizability through \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf{LT

Michael Huth, Jason Crampton, Jim Huan-Pu Kuo, 2013, International Journal on Software Tools for Technology Transfer.

The Authorization Policy Existence Problem

Gregory Gutin, Jason Crampton, Rémi Watrigant, 2020, IEEE Transactions on Dependable and Secure Computing.

Risk-Aware Role-Based Access Control

Liang Chen, Jason Crampton, 2011, STM.

Cryptographic enforcement of information flow policies without public information via tree partitions

Gregory Gutin, Mark Jones, Jason Crampton, 2016, J. Comput. Secur..

On key assignment for hierarchical access control

Jason Crampton, Keith M. Martin, Peter R. Wild, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).

On spatio-temporal constraints and inheritance in role-based access control

Liang Chen, Jason Crampton, 2008, ASIACCS '08.

Access Control and Authorization Constraints for WS-BPEL

Elisa Bertino, Jason Crampton, Federica Paci, 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

Authorization recycling in hierarchical RBAC systems

Jason Crampton, Konstantin Beznosov, Matei Ripeanu, 2011, TSEC.

The bi-objective workflow satisfiability problem and workflow resiliency pdf

Gregory Gutin, Jason Crampton, Rémi Watrigant, 2017, J. Comput. Secur..

Delegation in role-based access control

Jason Crampton, Hemanth Khambhammettu, 2007, International Journal of Information Security.

Valued Workflow Satisfiability Problem

Gregory Gutin, Jason Crampton, Daniel Karapetyan, 2015, SACMAT.

Role Signatures for Access Control in Open Distributed Systems

Jason Crampton, Hoon Wei Lim, 2008, SEC.

Computer Security – ESORICS 2013

Sushil Jajodia, Jason Crampton, Keith Mayes, 2013, Lecture Notes in Computer Science.

Attribute-Based Encryption for Access Control Using Elementary Operations

Jason Crampton, Alexandre Pinto, A. Pinto, 2014, 2014 IEEE 27th Computer Security Foundations Symposium.

Resiliency Policies in Access Control Revisited

Gregory Gutin, Jason Crampton, Rémi Watrigant, 2016, SACMAT.

Tree-Based Cryptographic Access Control

Jason Crampton, James Alderman, Naomi Farley, 2017, ESORICS.

Inter-domain role mapping and least privilege

Jason Crampton, Liang Chen, Liang Chen, 2007, SACMAT '07.

Administrative scope: A foundation for role-based administrative models

George Loizou, Jason Crampton, G. Loizou, 2003, TSEC.

Practical and efficient cryptographic enforcement of interval-based access control policies

Jason Crampton, J. Crampton, 2011, TSEC.

Discretionary and Mandatory Controls for Role-Based Administration

Jason Crampton, 2006, DBSec.

Avoiding Key Redistribution in Key Assignment Schemes

Jason Crampton, Harry Rowe, 2007 .

Algorithms for the workflow satisfiability problem engineered for counting constraints

Gregory Gutin, Mark Jones, Jason Crampton, 2015, Journal of Combinatorial Optimization.

Publicly Verifiable Outsourced Computation with a Key Distribution Centre pdf

Jason Crampton, Carlos Cid, James Alderman, 2014, ArXiv.

Trade-Offs in Cryptographic Implementations of Temporal Access Control

Jason Crampton, J. Crampton, 2009, NordSec.

Cryptographic Enforcement of Role-Based Access Control

Jason Crampton, J. Crampton, 2010, Formal Aspects in Security and Trust.

Bounded and Approximate Strong Satisfiability in Workflows

Gregory Gutin, Jason Crampton, Diptapriyo Majumdar, 2019, SACMAT.

Cryptographic Enforcement of Information Flow Policies Without Public Information

Gregory Gutin, Mark Jones, Jason Crampton, 2014, ACNS.

Hybrid Publicly Verifiable Computation

Jason Crampton, Carlos Cid, James Alderman, 2016, CT-RSA.

Access control in a distributed object environment using XML and roles

Jason Crampton, Hemanth Khambhammettu, 2003, South Afr. Comput. J..

Relationship-Based Access Control for an Open-Source Medical Records System

Jason Crampton, Philip W. L. Fong, James Sellwood, 2015, SACMAT.

Practical Constructions for the Efficient Cryptographic Enforcement of Interval-Based Access Control Policies pdf

Jason Crampton, J. Crampton, 2010, ArXiv.

A personal tribute to Steve Barker

Jason Crampton, 2013, Sci. Comput. Program..

On the Use of Key Assignment Schemes in Authentication Protocols

Jason Crampton, James Alderman, James Alderman, 2013, NSS.

The consistency of task-based authorization constraints in workflow

Jason Crampton, Carl A. Gunter, Kaijun Tan, 2004 .

Applications of the Oriented Permission Role-Based Access Control Model

Liang Chen, Jason Crampton, 2007, 2007 IEEE International Performance, Computing, and Communications Conference.

RGFGA: An Efficient Representation and Crossover for Grouping Genetic Algorithms

Allan Tucker, Jason Crampton, Stephen Swift, 2005, Evolutionary Computation.

Valued Authorization Policy Existence Problem

Gregory Gutin, Jason Crampton, Daniel Karapetyan, 2021, SACMAT.

Valued Authorization Policy Existence Problem: Theory and Experiments

Gregory Gutin, Jason Crampton, Daniel Karapetyan, 2021 .

Towards Better Understanding of User Authorization Query Problem via Multi-variable Complexity Analysis

Gregory Gutin, Jason Crampton, Diptapriyo Majumdar, 2021, ACM Transactions on Privacy and Security.

Synthesizing and Verifying Plans for Constrained Workflows : Transferring Tools from Formal Methods

Michael Huth, Jason Crampton, 2011 .

On the structural complexity of con ict of interest policies

George Loizou, Jason Crampton, 2000 .

An Access Control Framework for WS-BPEL Processes

Elisa Bertino, Jason Crampton, Federica Paci, 2012 .

Verifiably Secure Process-Aware Information Systems

Michael Huth, Jason Crampton, 2013 .

Detecting and Countering Insider Threats: Can Policy-Based Access Control Help?

Michael Huth, Jason Crampton, 2009 .

An Algebraic Approach to the Analysis of Constrained Workflow Systems

Jason Crampton, 2004 .

The completion of a poset in a lattice of antichains

George Loizou, Jason Crampton, 2001 .