Formalisation and Implementation of the XACML Access Control Mechanism

We propose a formal account of XACML, an OASIS standard adhering to the Policy Based Access Control model for the specifica- tion and enforcement of access control policies. To clarify all ambiguous and intricate aspects of XACML, we provide it with a more manageable alternative syntax and with a solid semantic ground. This lays the basis for developing tools and methodologies which allow software engineers to easily and precisely regulate access to resources using policies. To demonstrate feasibility and effectiveness of our approach, we provide a software tool, supporting the specification and evaluation of policies and access requests, whose implementation fully relies on our formal development

Scalable, security-oriented solutions for nanoCMOS electronics

The EPSRC pilot project Meeting the Design Challenges of nanoCMOS Electronics (nanoCMOS – www.nanocmos.ac.uk) has been funded to tackle some of the challenges facing the semiconductor electronics industry caused by the progressive scaling of CMOS transistors. As transistor dimensions are now at the nanometer scale with 40nm MOSFETs already in mass production and sub-10 nm transistors scheduled for production by 2018, the intrinsic parameter fluctuations caused by the inherent discreteness of charge and matter at this atomistic scale are now one of the major challenges that the semiconductor electronics industry needs to address. The variability at the device level affects profoundly the circuit/system design process and hence can be regarded a semiconductor industry-wide problem. Fortunately many of the statistical variability related issues can be understood and forecasted through large scale simulation of ensembles of potentially hundreds of thousands of atomistically varying devices. However, one of the main distinguishing features of NanoCMOS when compared to other high performance computing (HPC) simulation domains is the imperative requirements on fine grained security. The data, the designs and even the simulations themselves all potentially have highly sensitive commercial intellectual property (IP) value associated with them, ranging from the IP of device manufacturers and the design houses through to licenses needed to run simulation and design software. This paper outlines the e-Infrastructure that has been developed within the nanoCMOS project with specific focus upon the security capabilities it supports and how these address the IP protection requirements of the industrial and collaborating partners. Our ultimate goal is to provide an environment that addresses security across the board and scales to meet the HPC and data management requirements of nanoCMOS research

Search for a W' boson decaying to a bottom quark and a top quark in pp collisions at sqrt(s) = 7 TeV

Results are presented from a search for a W' boson using a dataset corresponding to 5.0 inverse femtobarns of integrated luminosity collected during 2011 by the CMS experiment at the LHC in pp collisions at sqrt(s)=7 TeV. The W' boson is modeled as a heavy W boson, but different scenarios for the couplings to fermions are considered, involving both left-handed and right-handed chiral projections of the fermions, as well as an arbitrary mixture of the two. The search is performed in the decay channel W' to t b, leading to a final state signature with a single lepton (e, mu), missing transverse energy, and jets, at least one of which is tagged as a b-jet. A W' boson that couples to fermions with the same coupling constant as the W, but to the right-handed rather than left-handed chiral projections, is excluded for masses below 1.85 TeV at the 95% confidence level. For the first time using LHC data, constraints on the W' gauge coupling for a set of left- and right-handed coupling combinations have been placed. These results represent a significant improvement over previously published limits.Comment: Submitted to Physics Letters B. Replaced with version publishe

Search for the standard model Higgs boson decaying into two photons in pp collisions at sqrt(s)=7 TeV

A search for a Higgs boson decaying into two photons is described. The analysis is performed using a dataset recorded by the CMS experiment at the LHC from pp collisions at a centre-of-mass energy of 7 TeV, which corresponds to an integrated luminosity of 4.8 inverse femtobarns. Limits are set on the cross section of the standard model Higgs boson decaying to two photons. The expected exclusion limit at 95% confidence level is between 1.4 and 2.4 times the standard model cross section in the mass range between 110 and 150 GeV. The analysis of the data excludes, at 95% confidence level, the standard model Higgs boson decaying into two photons in the mass range 128 to 132 GeV. The largest excess of events above the expected standard model background is observed for a Higgs boson mass hypothesis of 124 GeV with a local significance of 3.1 sigma. The global significance of observing an excess with a local significance greater than 3.1 sigma anywhere in the search range 110-150 GeV is estimated to be 1.8 sigma. More data are required to ascertain the origin of this excess.Comment: Submitted to Physics Letters

Measurement of the Lambda(b) cross section and the anti-Lambda(b) to Lambda(b) ratio with Lambda(b) to J/Psi Lambda decays in pp collisions at sqrt(s) = 7 TeV

The Lambda(b) differential production cross section and the cross section ratio anti-Lambda(b)/Lambda(b) are measured as functions of transverse momentum pt(Lambda(b)) and rapidity abs(y(Lambda(b))) in pp collisions at sqrt(s) = 7 TeV using data collected by the CMS experiment at the LHC. The measurements are based on Lambda(b) decays reconstructed in the exclusive final state J/Psi Lambda, with the subsequent decays J/Psi to an opposite-sign muon pair and Lambda to proton pion, using a data sample corresponding to an integrated luminosity of 1.9 inverse femtobarns. The product of the cross section times the branching ratio for Lambda(b) to J/Psi Lambda versus pt(Lambda(b)) falls faster than that of b mesons. The measured value of the cross section times the branching ratio for pt(Lambda(b)) > 10 GeV and abs(y(Lambda(b))) < 2.0 is 1.06 +/- 0.06 +/- 0.12 nb, and the integrated cross section ratio for anti-Lambda(b)/Lambda(b) is 1.02 +/- 0.07 +/- 0.09, where the uncertainties are statistical and systematic, respectively.Comment: Submitted to Physics Letters

Search for new physics in events with opposite-sign leptons, jets, and missing transverse energy in pp collisions at sqrt(s) = 7 TeV

A search is presented for physics beyond the standard model (BSM) in final states with a pair of opposite-sign isolated leptons accompanied by jets and missing transverse energy. The search uses LHC data recorded at a center-of-mass energy sqrt(s) = 7 TeV with the CMS detector, corresponding to an integrated luminosity of approximately 5 inverse femtobarns. Two complementary search strategies are employed. The first probes models with a specific dilepton production mechanism that leads to a characteristic kinematic edge in the dilepton mass distribution. The second strategy probes models of dilepton production with heavy, colored objects that decay to final states including invisible particles, leading to very large hadronic activity and missing transverse energy. No evidence for an event yield in excess of the standard model expectations is found. Upper limits on the BSM contributions to the signal regions are deduced from the results, which are used to exclude a region of the parameter space of the constrained minimal supersymmetric extension of the standard model. Additional information related to detector efficiencies and response is provided to allow testing specific models of BSM physics not considered in this paper.Comment: Replaced with published version. Added journal reference and DO

Measurement of isolated photon production in pp and PbPb collisions at sqrt(sNN) = 2.76 TeV

Isolated photon production is measured in proton-proton and lead-lead collisions at nucleon-nucleon centre-of-mass energies of 2.76 TeV in the pseudorapidity range |eta|<1.44 and transverse energies ET between 20 and 80 GeV with the CMS detector at the LHC. The measured ET spectra are found to be in good agreement with next-to-leading-order perturbative QCD predictions. The ratio of PbPb to pp isolated photon ET-differential yields, scaled by the number of incoherent nucleon-nucleon collisions, is consistent with unity for all PbPb reaction centralities.Comment: Submitted to Physics Letters

COVID-19: Rapid antigen detection for SARS-CoV-2 by lateral flow assay: A national systematic evaluation of sensitivity and specificity for mass-testing

Background Lateral flow device (LFD) viral antigen immunoassays have been developed around the world as diagnostic tests for SARS-CoV-2 infection. They have been proposed to deliver an infrastructure-light, cost-economical solution giving results within half an hour. Methods LFDs were initially reviewed by a Department of Health and Social Care team, part of the UK government, from which 64 were selected for further evaluation from 1st August to 15th December 2020. Standardised laboratory evaluations, and for those that met the published criteria, field testing in the Falcon-C19 research study and UK pilots were performed (UK COVID-19 testing centres, hospital, schools, armed forces). Findings 4/64 LFDs so far have desirable performance characteristics (orient Gene, Deepblue, Abbott and Innova SARS-CoV-2 Antigen Rapid Qualitative Test). All these LFDs have a viral antigen detection of >90% at 100,000 RNA copies/ml. 8951 Innova LFD tests were performed with a kit failure rate of 5.6% (502/8951, 95% CI: 5.1–6.1), false positive rate of 0.32% (22/6954, 95% CI: 0.20–0.48). Viral antigen detection/sensitivity across the sampling cohort when performed by laboratory scientists was 78.8% (156/198, 95% CI 72.4–84.3). Interpretation Our results suggest LFDs have promising performance characteristics for mass population testing and can be used to identify infectious positive individuals. The Innova LFD shows good viral antigen detection/sensitivity with excellent specificity, although kit failure rates and the impact of training are potential issues. These results support the expanded evaluation of LFDs, and assessment of greater access to testing on COVID-19 transmission. Funding Department of Health and Social Care. University of Oxford. Public Health England Porton Down, Manchester University NHS Foundation Trust, National Institute of Health Research

Studies of jet quenching using isolated-photon + jet correlations in PbPb and pp collisions at sqrt(s[NN]) = 2.76 TeV

Results from the first study of isolated-photon + jet correlations in relativistic heavy ion collisions are reported. The analysis uses data from PbPb collisions at a centre-of-mass energy of 2.76 TeV per nucleon pair corresponding to an integrated luminosity of 150 inverse microbarns recorded by the CMS experiment at the LHC. For events containing an isolated photon with transverse momentum pt(gamma) > 60 GeV and an associated jet with pt(Jet) > 30 GeV, the photon + jet pt imbalance is studied as a function of collision centrality and compared to pp data and PYTHIA calculations at the same collision energy. Using the pt(gamma) of the isolated photon as an estimate of the momentum of the associated parton at production, this measurement allows an unbiased characterisation of the in-medium parton energy loss. For more central PbPb collisions, a significant decrease in the ratio pt(Jet)/pt(gamma) relative to that in the PYTHIA reference is observed. Furthermore, significantly more pt(gamma) > 60 GeV photons in PbPb are observed not to have an associated pt(Jet) > 30 GeV jet, compared to the reference. However, no significant broadening of the photon + jet azimuthal correlation is observed.Comment: Submitted to Physics Letters