Cryptographic protocol composition via the authentication tests

Abstract. Although cryptographic protocols are typically analyzed in isolation, they are used in combinations. If a protocol Π1, when analyzed alone, was shown to meet some security goals, will it still meet those goals when executed together with a second protocol Π2? Not necessarily: for every Π1, some Π2s undermine its goals. We use the strand space “authentication test ” principles to suggest a criterion to ensure a Π2 preserves Π1’s goals; this criterion strengthens previous proposals. Security goals for Π1 are expressed in a language L(Π1) in classical logic. Strand spaces provide the models for L(Π1). Certain homomorphisms among models for L(Π) preserve the truth of the security goals. This gives a way to extract—from a counterexample to a goal that uses both protocols—a counterexample using only the first protocol. This model-theoretic technique, using homomorphisms among models to prove results about a syntactically defined set of formulas, appears to be novel for protocol analysis

Bing and Neel Syndrome

Introduction. We report the case of a Bing and Neel syndrome revealed by an isolated left ptosis. Case Report. a 57-year-old man was followed up since October 2003 for a typical Waldenström’s macroglobulinemia. A first complete remission was obtained with chlorambucil. In August 2004, he relapsed. A second complete remission was obtained with RFC chemotherapy regimen (rituximab, fludarabine, and cyclophosphamide). In October 2009, the patient presented with an isolated left ptosis revealing a Bing and Neel syndrome. The diagnosis was suspected on MRI and confirmed by the detection in the CSF of a monoclonal IgM similar to the one found in the plasma. A quite good partial remission has been obtained after one course of RDHAP (rituximab, dexamethasone, cytarabine, and cisplatin) and 3 courses of RDHOx (rituximab, dexamethasone, cytarabine, and oxaliplatin), in addition to ten intrahectal chemotherapy injections. The treatment was followed by intensification and autologous stem cell transplantation. At D58, the patient died due to a septic shock. Conclusion. BNS is a rare and potentially treatable complication of WM. It should be considered in patients with neurologic symptoms and a history of WM

Rationale and Design of the Efficacy of a Standardized Diuretic Protocol in Acute Heart Failure Study

Aims: Although acute heart failure (AHF) with volume overload is treated with loop diuretics, their dosing and type of administration are mainly based upon expert opinion. A recent position paper from the Heart Failure Association (HFA) proposed a step-wise pharmacologic diuretic strategy to increase the diuretic response and to achieve rapid decongestion. However, no study has evaluated this protocol prospectively. Methods and results: The Efficacy of a Standardized Diuretic Protocol in Acute Heart Failure (ENACT-HF) study is an international, multicentre, non-randomized, open-label, pragmatic study in AHF patients on chronic loop diuretic therapy, admitted to the hospital for intravenous loop diuretic therapy, aiming to enrol 500 patients. Inclusion criteria are as follows: at least one sign of volume overload (oedema, ascites, or pleural effusion), use ≥ 40 mg of furosemide or equivalent for >1 month, and a BNP > 250 ng/L or an N-terminal pro-B-type natriuretic peptide > 1000 pg/L. The study is designed in two sequential phases. During Phase 1, all centres will treat consecutive patients according to the local standard of care. In the Phase 2 of the study, all centres will implement a standardized diuretic protocol in the next cohort of consecutive patients. The protocol is based upon the recently published HFA algorithm on diuretic use and starts with intravenous administration of two times the oral home dose. It includes early assessment of diuretic response with a spot urinary sodium measurement after 2 h and urine output after 6 h. Diuretics will be tailored further based upon these measurements. The study is powered for its primary endpoint of natriuresis after 1 day and will be able to detect a 15% difference with 80% power. Secondary endpoints are natriuresis and diuresis after 2 days, change in congestion score, change in weight, in-hospital mortality, and length of hospitalization. Conclusions: The ENACT-HF study will investigate whether a step-wise diuretic approach, based upon early assessment of urinary sodium and urine output as proposed by the HFA, is feasible and able to improve decongestion in AHF with volume overload