49,614 research outputs found
Defining an approximation to formally verify cryptographic protocols
No full textElectronic forms of communication are abundant in todays world, and much emphasis is placed on these methods of communication in every day life. In order to guarantee the secrecy and authenticity of information exchanged, it is vital to formally verify the cryptographic protocols used in these forms of communications. This verification does, however, present many challenges. The systems to verify are infinite, with an infinite number of sessions and of p articipants. As if this was not enough, there is also a reactive element to deal with: th e intruder. The intruder will attack the protocol to achieve his goal: usurping identity, stealing confidential information, etc. His behavior is unpredictable!
This thesis describes a method of verification based 011 the verification of systems by approximation. Starting from an initial configuration of the network, an overapproximation of the set of messages exchanged is automatically computed. Secrecy and authentication properties can then be checked on the approximated system. Starting from an existing semi-automatic proof method developed by Genet and Klay, an automatic solution is developed.
Starting from an existing semi-automatic proof method developed by Genet and Klay, an automatic solution is developed. This thesis defines a particular approximation function that can be generated automatically and that guarantees that the computation of the approximated system terminates.
Th e verification by approximation only tells if properties are verified. When the verification fails no conclusion can be drawn on the property. Thus, this thesis also shows how the approximation technique can easily be combined with another verification technique to combine the strengths of both approaches.
Finally, the tool developed to validate these developments and the results of cryptographic protocol verifications carried out in the course of this research are included
[Letter from Arthur S. Rosichan to J. L. Zuber - August 11, 1944]
No full textLetter from Arthur S. Rosichan to J. L. Zuber: August 11, 1944. Subject of the letter is the author moving to Houston to work for the Jewish Community Council
Evidence for the decay B0→J/ψω and measurement of the relative branching fractions of meson decays to J/ψη and J/ψη′
No full textFirst evidence of the B 0 → J / ψ ω decay is found and the B s 0 → J / ψ η and B s 0 → J / ψ η ′ decays are studied using a dataset corresponding to an integrated luminosity of 1.0 fb -1 collected by the LHCb experiment in proton-proton collisions at a centre-of-mass energy of sqrt(s) = 7 TeV. The branching fractions of these decays are measured relative to that of the B 0 → J / ψ ρ 0 decay:frac(B (B 0 → J / ψ ω), B (B 0 → J / ψ ρ 0)) = 0.89 ± 0.19 (stat) - 0.13 + 0.07 (syst),frac(B (B s 0 → J / ψ η), B (B 0 → J / ψ ρ 0)) = 14.0 ± 1.2 (stat) - 1.5 + 1.1 (syst) - 1.0 + 1.1 (frac(f d, f s)),frac(B (B s 0 → J / ψ η ′), B (B 0 → J / ψ ρ 0)) = 12.7 ± 1.1 (stat) - 1.3 + 0.5 (syst) - 0.9 + 1.0 (frac(f d, f s)), where the last uncertainty is due to the knowledge of f d / f s, the ratio of b-quark hadronization factors that accounts for the different production rate of B 0 and B s 0 mesons. The ratio of the branching fractions of B s 0 → J / ψ η ′ and B s 0 → J / ψ η decays is measured to befrac(B (B s 0 → J / ψ η ′), B (B s 0 → J / ψ η)) = 0.90 ± 0.09 (stat) - 0.02 + 0.06 (syst)
Precision measurements of B[psi(3686) -> pi(+)pi(-)J/psi] and B[J/psi -> l(+)l(-)]
No full text<p>Based on (106.41 +/- 0.86) x 10(6) psi(3686) events collected with the BESIII detector at the BEPCII collider, the branching fractions of psi(3686) -> pi(+)pi(-)J/psi, J/psi -> e(+)e(-), and J/psi -> mu(+)mu(-) are measured. We obtain B[psi(3686) -> pi(+)pi(-)J/psi] = (34.98 +/- 0.02 +/- 0.45)%, B[J/psi -> e(+)e(-)] = (5.983 +/- 0.007 +/- 0.037)%, and B[J/psi -> mu(+)mu(-)] = (5.973 +/- 0.0007 +/- 0.038)%. The measurement of B[psi(3686) -> pi(+)pi(-)J/psi] confirms the CLEO-c measurement, and is apparently larger than the others. The measured J/psi leptonic decay branching fractions agree with previous experiments within one standard deviation. These results lead to B[J/psi -> l(+)l(-)] = (5.978 +/- 0.005 +/- 0.040)% by averaging over the e(+)e(-) and mu(+)mu(-) channels and a ratio of B[J/psi -> e(+)e(-)]/B[J/psi -> mu(+)mu(-)] = 1.0017 +/- 0.0017 +/- 0.0033, which tests e- mu universality at the four tenths of a percent level. All the measurements presented in this paper are the most precise in the world to date.</p>
Journal of Public Procurement
No full textVolume 15, Number 4, Winter 2015Public Infrastructure Procurement: A Review 0f Adversarial andNon-Adversarial Contracting Methods ....................................................... 405M. Regan, P. E.D. Love and J. SmithM. V. KidalovThe Enlightenment Underpinnings of the Public Procurement Profession.................................................................................................. 439W. E. Klay Public Procurement Reforms in Greece: The Impact of ImprovedTransparency on Government Expenditures ........................................... 458I. Giotopoulos, G. Pavlou, S. Danchev, and A. Tsakanikas The Role Of Accountability In Federal Acquisition: A Search for Context .................................................................................................... 514131 hlm,; 15 x 23 c
The economic and fiscal impacts of Hurricane Sandy in New Jersey, a macroeconomic analysis
No full textThis report estimates the macroeconomic and fiscal impacts of Hurricane Sandy on the economy of New Jersey using the R/ECON™ forecasting model of the state’s economy. The model consists of more than 250 quarterly time-series equations and 30 employment sectors.The analysis takes into account both the economic losses resulting from the hurricane and the offsetting positive economic impacts associated with recovery and reconstruction spending in the months and years following the storm.However, the estimates of impacts depend upon the restoration expenditures actually being made. If the funds for these restoration and recovery expenditures are not made available, the offsetting positive impacts to the economy will not occur and the New Jersey economy will be significantly damaged. See Section 3 for estimates of the negative impacts if restoration expenditures are not made.This report was published as Issue Paper Number 34, January 2013, in Rutgers Regional Report
Measurement of the ratio of prompt χ c to J / ψ production in pp collisions at √s = 7 TeV
No full textThe prompt production of charmonium χ c and J / ψ states is studied in proton-proton collisions at a centre-of-mass energy of √s = 7 TeV at the Large Hadron Collider. The χ c and J / ψ mesons are identified through their decays χ c → J / ψ γ and J / ψ → μ + μ - using 36 pb - 1 of data collected by the LHCb detector in 2010. The ratio of the prompt production cross-sections for χ c and J / ψ, σ (χ c → J / ψ γ) / σ (J / ψ), is determined as a function of the J / ψ transverse momentum in the range 2 < p T J / ψ < 15 GeV / c. The results are in excellent agreement with next-to-leading order non-relativistic expectations and show a significant discrepancy compared with the colour singlet model prediction at leading order, especially in the low p T J / ψ region
Mind world of J. L. Borges
No full textV diplomskem delu predstavljam izjemnega avtorja J. L. Borgesa. Obravnavam njegovo življenje in opus. Osredotočim se na njegov idejni svet in z zgodbami izpod njegovega peresa razgrinjam tesno povezanost, predvsem s Schopenhauerjem, ter razmišljam o glavnih temah in motivih in navezavi le teh s filozofijo.In my degree paper I am writing about amazing author J. L. Borges. This thesis deals with author\u27s life and his work. I am focusing on his mind world and with help of his short stories I am looking for close connection between Borges and Schopenhauer. I am thinking about main topics and motives and also about their connection with philosophy
Measurement of the CP-violating phase \phi s in Bs->J/\psi\pi+\pi- decays
No full textMeasurement of the mixing-induced CP-violating phase phi_s in Bs decays is of prime importance in probing new physics. Here 7421 +/- 105 signal events from the dominantly CP-odd final state J/\psi pi+ pi- are selected in 1/fb of pp collision data collected at sqrt{s} = 7 TeV with the LHCb detector. A time-dependent fit to the data yields a value of phi_s=-0.019^{+0.173+0.004}_{-0.174-0.003} rad, consistent with the Standard Model expectation. No evidence of direct CP violation is found
Measurement of the time-dependent CP asymmetry in B0 -> J/ψ KS0 decays
No full textThis Letter reports a measurement of the CP violation observables SJ/ψK0S and CJ/ψK0S in the decay channel B0→J/ψK0S performed with 1.0 fb−1 of pp collisions at s√=7 TeV collected by the LHCb experiment. The fit to the data yields SJ/ψK0S=0.73±0.07(stat)±0.04(syst) and CJ/ψK0S=0.03±0.09(stat)±0.01(syst). Both values are consistent with the current world averages and within
expectations from the Standard Model
- …
