297 research outputs found
Privacy Architectures: Reasoning About Data Minimisation and Integrity
Privacy by design will become a legal obligation in the European Community if
the Data Protection Regulation eventually gets adopted. However, taking into
account privacy requirements in the design of a system is a challenging task.
We propose an approach based on the specification of privacy architectures and
focus on a key aspect of privacy, data minimisation, and its tension with
integrity requirements. We illustrate our formal framework through a smart
metering case study.Comment: appears in STM - 10th International Workshop on Security and Trust
Management 8743 (2014
Restructuring of colloidal aggregates in shear flow: Coupling interparticle contact models with Stokesian dynamics
A method to couple interparticle contact models with Stokesian dynamics (SD)
is introduced to simulate colloidal aggregates under flow conditions. The
contact model mimics both the elastic and plastic behavior of the cohesive
connections between particles within clusters. Owing to this, clusters can
maintain their structures under low stress while restructuring or even breakage
may occur under sufficiently high stress conditions. SD is an efficient method
to deal with the long-ranged and many-body nature of hydrodynamic interactions
for low Reynolds number flows. By using such a coupled model, the restructuring
of colloidal aggregates under stepwise increasing shear flows was studied.
Irreversible compaction occurs due to the increase of hydrodynamic stress on
clusters. Results show that the greater part of the fractal clusters are
compacted to rod-shaped packed structures, while the others show isotropic
compaction.Comment: A simulation movie be found at
http://www-levich.engr.ccny.cuny.edu/~seto/sites/colloidal_aggregates_shearflow.htm
Privacy by Design: From Technologies to Architectures (Position Paper)
Existing work on privacy by design mostly focus on technologies rather than
methodologies and on components rather than architectures. In this paper, we
advocate the idea that privacy by design should also be addressed at the
architectural level and be associated with suitable methodologies. Among other
benefits, architectural descriptions enable a more systematic exploration of
the design space. In addition, because privacy is intrinsically a complex
notion that can be in tension with other requirements, we believe that formal
methods should play a key role in this area. After presenting our position, we
provide some hints on how our approach can turn into practice based on ongoing
work on a privacy by design environment
A Study of Cosmic Ray Secondaries Induced by the Mir Space Station Using AMS-01
The Alpha Magnetic Spectrometer (AMS-02) is a high energy particle physics
experiment that will study cosmic rays in the to range and will be installed on the International Space Station
(ISS) for at least 3 years. A first version of AMS-02, AMS-01, flew aboard the
space shuttle \emph{Discovery} from June 2 to June 12, 1998, and collected
cosmic ray triggers. Part of the \emph{Mir} space station was within the
AMS-01 field of view during the four day \emph{Mir} docking phase of this
flight. We have reconstructed an image of this part of the \emph{Mir} space
station using secondary and emissions from primary cosmic rays
interacting with \emph{Mir}. This is the first time this reconstruction was
performed in AMS-01, and it is important for understanding potential
backgrounds during the 3 year AMS-02 mission.Comment: To be submitted to NIM B Added material requested by referee. Minor
stylistic and grammer change
Formal Specification and Validation of Security Policies
International audienceWe propose a formal framework for the specification and validation of security policies. To model a secured system, the evolution of security information in the system is described by transitions triggered by authorization requests and the policy is given by a set of rules describing the way the corresponding decisions are taken. Policy rules are constrained rewrite rules whose constraints are first-order formulas on finite domains, which provides enhanced expressive power compared to classical security policy specification approaches like the ones using Datalog, for example. Our specifications have an operational semantics based on transition and rewriting systems and are thus executable. This framework also provides a common formalism to define, compare and compose security systems and policies. We define transformations over secured systems in order to perform validation of classical security properties
Search for direct production of charginos and neutralinos in events with three leptons and missing transverse momentum in âs = 7 TeV pp collisions with the ATLAS detector
A search for the direct production of charginos and neutralinos in final states with three electrons or muons and missing transverse momentum is presented. The analysis is based on 4.7 fbâ1 of protonâproton collision data delivered by the Large Hadron Collider and recorded with the ATLAS detector. Observations are consistent with Standard Model expectations in three signal regions that are either depleted or enriched in Z-boson decays. Upper limits at 95% confidence level are set in R-parity conserving phenomenological minimal supersymmetric models and in simplified models, significantly extending previous results
Jet size dependence of single jet suppression in lead-lead collisions at sqrt(s(NN)) = 2.76 TeV with the ATLAS detector at the LHC
Measurements of inclusive jet suppression in heavy ion collisions at the LHC
provide direct sensitivity to the physics of jet quenching. In a sample of
lead-lead collisions at sqrt(s) = 2.76 TeV corresponding to an integrated
luminosity of approximately 7 inverse microbarns, ATLAS has measured jets with
a calorimeter over the pseudorapidity interval |eta| < 2.1 and over the
transverse momentum range 38 < pT < 210 GeV. Jets were reconstructed using the
anti-kt algorithm with values for the distance parameter that determines the
nominal jet radius of R = 0.2, 0.3, 0.4 and 0.5. The centrality dependence of
the jet yield is characterized by the jet "central-to-peripheral ratio," Rcp.
Jet production is found to be suppressed by approximately a factor of two in
the 10% most central collisions relative to peripheral collisions. Rcp varies
smoothly with centrality as characterized by the number of participating
nucleons. The observed suppression is only weakly dependent on jet radius and
transverse momentum. These results provide the first direct measurement of
inclusive jet suppression in heavy ion collisions and complement previous
measurements of dijet transverse energy imbalance at the LHC.Comment: 15 pages plus author list (30 pages total), 8 figures, 2 tables,
submitted to Physics Letters B. All figures including auxiliary figures are
available at
http://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/HION-2011-02
Lack of association between the Trp719Arg polymorphism in kinesin-like protein-6 and coronary artery disease in 19 case-control studies
Multifunctional Magnetic-fluorescent Nanocomposites for Biomedical Applications
Nanotechnology is a fast-growing area, involving the fabrication and use of nano-sized materials and devices. Various nanocomposite materials play a number of important roles in modern science and technology. Magnetic and fluorescent inorganic nanoparticles are of particular importance due to their broad range of potential applications. It is expected that the combination of magnetic and fluorescent properties in one nanocomposite would enable the engineering of unique multifunctional nanoscale devices, which could be manipulated using external magnetic fields. The aim of this review is to present an overview of bimodal âtwo-in-oneâ magnetic-fluorescent nanocomposite materials which combine both magnetic and fluorescent properties in one entity, in particular those with potential applications in biotechnology and nanomedicine. There is a great necessity for the development of these multifunctional nanocomposites, but there are some difficulties and challenges to overcome in their fabrication such as quenching of the fluorescent entity by the magnetic core. Fluorescent-magnetic nanocomposites include a variety of materials including silica-based, dye-functionalised magnetic nanoparticles and quantum dots-magnetic nanoparticle composites. The classification and main synthesis strategies, along with approaches for the fabrication of fluorescent-magnetic nanocomposites, are considered. The current and potential biomedical uses, including biological imaging, cell tracking, magnetic bioseparation, nanomedicine and bio- and chemo-sensoring, of magnetic-fluorescent nanocomposites are also discussed
Cosmic-ray positron fraction measurement from 1 to 30 GeV with AMS-01
A measurement of the cosmic ray positron fraction e+/(e+ + e-) in the energy range of 1-30 GeV is presented. The measurement is based on data taken by the AMS-01 experiment during its 10 day Space Shuttle flight in June 1998. A proton background suppression on the order of 10^6 is reached by identifying converted bremsstrahlung photons emitted from positrons
- âŠ