This paper introduces a versatile operator for modifying CSP processes to satisfy particular information flow security requirements. We present and justify an algebraic semantics for this operator, which allows us to derive secure processes from (potentially) insecure processes in a calculational style. Moreover, the operator simplifies the task of verifying the security of processes.

a Institute for Health Policy Studies, University of California at San Francisco, 1388 Sutter Street, 11th floor, San Francisco, CA 94109, USA, b Unit of Clinical Policy Analysis, Laboratory of Clinical Epidemiology, Istituto di Ricerche Farmacologiche Mario Negri, Via Eritrea 62, 20157 Milan, Italy, c Health Services Research Unit, Department of Public Health, Aberdeen AB25 2ZD, d Department o...

BACKGROUND Carotid intima-media thickness (c-IMT), arterial stiffness (AS) and vascular calcification (VC) are now considered important new markers of atherosclerosis and have been associated with increased prevalence of cardiovascular events. An accurate, reproducible and easy detection of these parameters could increase the prognostic value of the traditional cardiovascular risk factors in ma...

Kawasaki disease (KD) is an acute vasculitis of young children that can be complicated by coronary artery abnormalities. Recent findings suggest that a superantigen(s) may play an important role in stimulating the immune activation associated with the disease, although the origin of this superantigen(s) is unclear. Staphylococcus aureus, isolated from the rectum or pharynx of patients with KD, ...

, 1381-1388 first published online 16 November 2011 9 2012 J. R. Soc. Interface Joris Soons, Anthony Herrel, Peter Aerts and Joris Dirckx complex biological samples: bone and keratin in bird beaks Determination and validation of the elastic moduli of small and References http://rsif.royalsocietypublishing.org/content/9/71/1381.full.html#related-urls Article cited in: http://rsif.royalsocietypub...

Dans sa volumineuse monographie, Sebastien Cazalas ne se contente pas d’offrir « un tableau de l’ensemble l’œuvre politique » Jean Juvenal des Ursins. Il a egalement pour but definir la place occupee par l’auteur dans le champ litteraire, etudiant ce que celui-ci doit aux pratiques d’ecriture « de son temps » (p. 663). Vaste programme ! Des « considerations techniques et d’erudition » (p. 455) ...