Paul Kearney

Learn More
TrustCom is a new European integrated project that aims to develop a framework for trust, security and contract management in dynamic Virtual Organisations. The framework will enable the secure enactment of collaborative business processes in self-managed, and dynamic value-chains of businesses and governments. The framework will leverage and extend the(More)
There is a variety of applications that can benefit from the ability to find optimal or good solutions to a proposed problem automatically. The Artificial Intelligent (AI) community has been actively involved in efficient problem-solving in complex domains such as military or spacecraft problems with successful results. In this paper we describe the(More)
We present a generic modular policy modelling framework and instantiate it with a substantial case study for model-based testing of some key security mechanisms of applications and services of the NPfIT. NPfIT, the National Programme for IT, is a very large-scale development project aiming to modernise the IT infrastructure of the NHS in England. Consisting(More)
We present an optimization technique for model-based generation of test cases for firewalls. Starting from a formal model for firewall policies in higher-order logic, we derive a collection of semantics-preserving policy transformation rules and an algorithm that optimizes the specification with respect of the number of test cases required for path(More)
This document details an initial study into cognitive abilities that may be enhanced from playing computer games. Using a neuro-psychological assessment software package titled SynWin, participants were tested for their ability to function in a synthetic work environment. Scores were recorded and after playing computer games for specified lengths of time,(More)
Information systems exist in every aspect of our life and our society depends on them enormously. Despite this reliance, these systems are often unreliable, prone to errors, and pose vulnerabilities for potential security attacks. We are often faced with a choice between using a valuable (or even an essential) system, which is not fully trustworthy, or else(More)
A skin irritation test (SIT) utilising a common protocol for two in vitro reconstructed human epidermal (RhE) models, EPISKIN and EpiDerm, was developed, optimised and evaluated as a replacement for the in vivo rabbit skin irritation test in an ECVAM-sponsored validation study. In 2007, both RhE models were recognised by an independent peer-review panel and(More)
We describe Glosser, a system that supports students in writing essays by 1) scaffolding their reflection with trigger questions, and 2) using text mining techniques to provide content clues that can help answer those questions. A comparison with other computer generated feedback and scorings systems is provided to explain the novelty of the approach. We(More)
Transmembrane proteins affect vital cellular functions and pathogenesis, and are a focus of drug design. It is difficult to obtain diffraction quality crystals to study transmembrane protein structure. Computational tools for transmembrane protein topology prediction fill in the gap between the abundance of transmembrane proteins and the scarcity of known(More)
BACKGROUND Offering informed choice in screening is increasingly advocated, but little is known about how evidence-based information about the benefits and harms of screening influences understanding and participation in screening. OBJECTIVE We aimed to explore how a bowel cancer screening decision aid influenced decision making and screening behaviour(More)