City University London

About: City University London is a education organization based out in London, United Kingdom. It is known for research contribution in the topics: Population & Health care. The organization has 5735 authors who have published 17285 publications receiving 453290 citations.

A framework for requirents monitoring of service based systems

Abstract: This paper proposes a framework for monitoring the compliance of systems composed of web-services with requirements set for th. This framework assumes systems composed of web-services that are co-ordinated by a service composition process expressed in BPEL4WS and uses event calculus to specify the properties to be monitored. The monitorable properties may include behavioural properties of a syst which are automatically extracted from the specification of its composition process in BPEL4WS and/or assumptions that syst providers can specify in terms of events extracted from this specification.

Quantitative Analysis of the Leakage of Confidential Data.

Abstract: Basic information theory is used to analyse the amount of confidential information which may be leaked by programs written in a very simple imperative language. In particular, a detailed analysis is given of the possible leakage due to equality tests and if statements. The analysis is presented as a set of syntax-directed inference rules and can readily be automated.

Privacy-preserving blockchain based IoT ecosystem using attribute-based encryption

Abstract: The Internet of Things (IoT) has penetrated deeply into our lives and the number of IoT devices per person is expected to increase substantially over the next few years. Due to the characteristics of IoT devices (i.e., low power and low battery), usage of these devices in critical applications requires sophisticated security measures. Researchers from academia and industry now increasingly exploit the concept of blockchains to achieve security in IoT applications. The basic idea of the blockchain is that the data generated by users or devices in the past are verified for correctness and cannot be tampered once it is updated on the blockchain. Even though the blockchain supports integrity and non-repudiation to some extent, confidentiality and privacy of the data or the devices are not preserved. The content of the data can be seen by anyone in the network for verification and mining purposes. In order to address these privacy issues, we propose a new privacy-preserving blockchain architecture for IoT applications based on attribute-based encryption (ABE) techniques. Security, privacy, and numerical analyses are presented to validate the proposed model.

Through the looking glass: counter‐mirror activation following incompatible sensorimotor learning

Abstract: The mirror system, comprising cortical areas that allow the actions of others to be represented in the observer's own motor system, is thought to be crucial for the development of social cognition in humans. Despite the importance of the human mirror system, little is known about its origins. We investigated the role of sensorimotor experience in the development of the mirror system. Functional magnetic resonance imaging was used to measure neural responses to observed hand and foot actions following one of two types of training. During training, participants in the Compatible (control) group made mirror responses to observed actions (hand responses were made to hand stimuli and foot responses to foot stimuli), whereas the Incompatible group made counter-mirror responses (hand to foot and foot to hand). Comparison of these groups revealed that, after training to respond in a counter-mirror fashion, the relative action observation properties of the mirror system were reversed; areas that showed greater responses to observation of hand actions in the Compatible group responded more strongly to observation of foot actions in the Incompatible group. These results suggest that, rather than being innate or the product of unimodal visual or motor experience, the mirror properties of the mirror system are acquired through sensorimotor learning.