Generating Secure Service Compositions

Ensuring that the compositions of services that constitute service-based systems satisfy given security properties is a key prerequisite for the adoption of the service oriented computing paradigm. In this paper, we address this issue using a novel approach that guarantees service composition security by virtue of the generation of compositions. Our approach generates service compositions that are guaranteed to satisfy security properties based on secure service orchestration (SESO) patterns. These patterns express primitive (e.g., sequential, parallel) service orchestrations, which are proven to have certain global security properties if the individual services participating in them have themselves other security properties. The paper shows how SESO patterns can be constructed and gives examples of proofs for such patterns. It also presents the process of using SESO patterns to generate secure service compositions and presents the results of an initial experimental evaluation of the approach

THE FUNCTIONAL STATE OF VISUAL ANALYZER IN PATIENTS WITH CHRONIC VERTEBROBASILAR INSUFFICIENCY

All patients had various stages of fundus changes typical for the arterial hypertension, a significant reduction in the flicker fusion frequency. When an overall insignificant decrease in ERG amplitude and prolongation of the latency time was determined of a- and. b-waves compared with the control group, decreased the amplitude of oscillatory potentials. Indices of the lability and. sensitivity of the optic nerve were within normal limits. The use new electrophysiological diagnostic methods could be perspective for identification and. assessment of the degree of pathological changes in the visual analyzer at an early sub-clinical level of disease in violation of circulation in the vertebral-basilar basin

Measurements of double-helicity asymmetries in inclusive J/ψJ/\psi production in longitudinally polarized p+pp+p collisions at s=510\sqrt{s}=510 GeV

We report the double helicity asymmetry, $A_{LL}^{J/\psi}$, in inclusive $J/\psi$ production at forward rapidity as a function of transverse momentum $p_T$ and rapidity $|y|$. The data analyzed were taken during $\sqrt{s}=510$ GeV longitudinally polarized $p$$+$$p$ collisions at the Relativistic Heavy Ion Collider (RHIC) in the 2013 run using the PHENIX detector. At this collision energy, $J/\psi$ particles are predominantly produced through gluon-gluon scatterings, thus $A_{LL}^{J/\psi}$ is sensitive to the gluon polarization inside the proton. We measured $A_{LL}^{J/\psi}$ by detecting the decay daughter muon pairs $\mu^+ \mu^-$ within the PHENIX muon spectrometers in the rapidity range $1.2<|y|<2.2$. In this kinematic range, we measured the $A_{LL}^{J/\psi}$ to be $0.012 \pm 0.010$~(stat)~$\pm$~$0.003$(syst). The $A_{LL}^{J/\psi}$ can be expressed to be proportional to the product of the gluon polarization distributions at two distinct ranges of Bjorken $x$: one at moderate range $x \approx 0.05$ where recent RHIC data of jet and $\pi^0$ double helicity spin asymmetries have shown evidence for significant gluon polarization, and the other one covering the poorly known small-$x$ region $x \approx 2\times 10^{-3}$. Thus our new results could be used to further constrain the gluon polarization for $x< 0.05$.Comment: 335 authors, 10 pages, 4 figures, 3 tables, 2013 data. Version accepted for publication by Phys. Rev. D. Plain text data tables for the points plotted in figures for this and previous PHENIX publications are (or will be) publicly available at http://www.phenix.bnl.gov/papers.htm

J/psi suppression at forward rapidity in Au+Au collisions at sqrt(s_NN)=39 and 62.4 GeV

We present measurements of the J/psi invariant yields in sqrt(s_NN)=39 and 62.4 GeV Au+Au collisions at forward rapidity (1.2<|y|<2.2). Invariant yields are presented as a function of both collision centrality and transverse momentum. Nuclear modifications are obtained for central relative to peripheral Au+Au collisions (R_CP) and for various centrality selections in Au+Au relative to scaled p+p cross sections obtained from other measurements (R_AA). The observed suppression patterns at 39 and 62.4 GeV are quite similar to those previously measured at 200 GeV. This similar suppression presents a challenge to theoretical models that contain various competing mechanisms with different energy dependencies, some of which cause suppression and others enhancement.Comment: 365 authors, 10 pages, 11 figures, 4 tables. Submitted to Phys. Rev. C. Plain text data tables for the points plotted in figures for this and previous PHENIX publications are (or will be) publicly available at http://www.phenix.bnl.gov/papers.htm

Cross sections and double-helicity asymmetries of midrapidity inclusive charged hadrons in p+p collisions at sqrt(s)=62.4 GeV

Unpolarized cross sections and double-helicity asymmetries of single-inclusive positive and negative charged hadrons at midrapidity from p+p collisions at sqrt(s)=62.4 GeV are presented. The PHENIX measurements for 1.0 < p_T < 4.5 GeV/c are consistent with perturbative QCD calculations at next-to-leading order in the strong coupling constant, alpha_s. Resummed pQCD calculations including terms with next-to-leading-log accuracy, yielding reduced theoretical uncertainties, also agree with the data. The double-helicity asymmetry, sensitive at leading order to the gluon polarization in a momentum-fraction range of 0.05 ~< x_gluon ~< 0.2, is consistent with recent global parameterizations disfavoring large gluon polarization.Comment: PHENIX Collaboration. 447 authors, 12 pages, 5 figures, 5 tables. Submitted to Physical Review

Measurement of higher cumulants of net-charge multiplicity distributions in Au++Au collisions at sNN=7.7−200\sqrt{s_{_{NN}}}=7.7-200 GeV

We report the measurement of cumulants ($C_n, n=1\ldots4$) of the net-charge distributions measured within pseudorapidity ($|\eta|<0.35$) in Au$+$Au collisions at $\sqrt{s_{_{NN}}}=7.7-200$ GeV with the PHENIX experiment at the Relativistic Heavy Ion Collider. The ratios of cumulants (e.g. $C_1/C_2$, $C_3/C_1$) of the net-charge distributions, which can be related to volume independent susceptibility ratios, are studied as a function of centrality and energy. These quantities are important to understand the quantum-chromodynamics phase diagram and possible existence of a critical end point. The measured values are very well described by expectation from negative binomial distributions. We do not observe any nonmonotonic behavior in the ratios of the cumulants as a function of collision energy. The measured values of $C_1/C_2 = \mu/\sigma^2$ and $C_3/C_1 = S\sigma^3/\mu$ can be directly compared to lattice quantum-chromodynamics calculations and thus allow extraction of both the chemical freeze-out temperature and the baryon chemical potential at each center-of-mass energy.Comment: 512 authors, 8 pages, 4 figures, 1 table. v2 is version accepted for publication in Phys. Rev. C as a Rapid Communication. Plain text data tables for the points plotted in figures for this and previous PHENIX publications are (or will be) publicly available at http://www.phenix.bnl.gov/papers.htm

Inclusive cross section and double helicity asymmetry for pi^0 production in p+p collisions at sqrt(s) = 62.4 GeV

The PHENIX experiment presents results from the RHIC 2006 run with polarized proton collisions at sqrt(s) = 62.4 GeV for inclusive pi^0 production at mid-rapidity. Unpolarized cross section results are measured for transverse momenta p_T = 0.5 to 7 GeV/c. Next-to-leading order perturbative quantum chromodynamics calculations are compared with the data, and while the calculations are consistent with the measurements, next-to-leading logarithmic corrections improve the agreement. Double helicity asymmetries A_LL are presented for p_T = 1 to 4 GeV/c and probe the higher range of Bjorken_x of the gluon (x_g) with better statistical precision than our previous measurements at sqrt(s)=200 GeV. These measurements are sensitive to the gluon polarization in the proton for 0.06 < x_g < 0.4.Comment: 387 authors from 63 institutions, 10 pages, 6 figures, 1 table. Submitted to Physical Review D. Plain text data tables for the points plotted in figures for this and previous PHENIX publications are (or will be) publicly available at http://www.phenix.bnl.gov/papers.htm

Inclusive cross section and single-transverse-spin asymmetry for very forward neutron production in polarized p+p collisions at sqrt(s)=200 GeV

The energy dependence of the single-transverse-spin asymmetry, A_N, and the cross section for neutron production at very forward angles were measured in the PHENIX experiment at RHIC for polarized p+p collisions at sqrt(s)=200 GeV. The neutrons were observed in forward detectors covering an angular range of up to 2.2 mrad. We report results for neutrons with momentum fraction of x_F=0.45 to 1.0. The energy dependence of the measured cross sections were consistent with x_F scaling, compared to measurements by an ISR experiment which measured neutron production in unpolarized p+p collisions at sqrt(s)=30.6--62.7 GeV. The cross sections for large x_F neutron production for p+p collisions, as well as those in e+p collisions measured at HERA, are described by a pion exchange mechanism. The observed forward neutron asymmetries were large, reaching A_N=-0.08+/-0.02 for x_F=0.8; the measured backward asymmetries, for negative x_F, were consistent with zero. The observed asymmetry for forward neutron production is discussed within the pion exchange framework, with interference between the spin-flip amplitude due to the pion exchange and nonflip amplitudes from all Reggeon exchanges. Within the pion exchange description, the measured neutron asymmetry is sensitive to the contribution of other Reggeon exchanges even for small amplitudes.Comment: 383 authors, 16 pages, 18 figures, 6 tables. Submitted to Phys. Rev. D. Plain text data tables for the points plotted in figures for this and previous PHENIX publications are (or will be) publicly available at http://www.phenix.bnl.gov/papers.htm