Just forget it - The semantics and enforcement of information erasure

Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased once that purpose has been fulfilled. A familiar example is that of online credit card transactions: a customer typically provides credit card details to a payment system on the understanding that the following promises are kept: (i) Noninterference (NI): the card details may flow to the bank (in order that the payment can be authorised) but not to other users of the system; (ii) Erasure: the payment system will not retain any record of the card details once the transaction is complete. This example shows that we need to reason about NI and erasure in combination, and that we need to consider interactive systems: the card details are used in the interaction between the principals, and then erased; without the interaction, the card details could be dispensed with altogether and erasure would be unnecessary. The contributions of this paper are as follows. (i) We show that an end-to-end erasure property can be encoded as a “flow sensitive ” noninterference property. (ii) By a judicious choice of language construct to support erasur

HALF A LOAF. ARE NEW URBAN “HYBRIDS” A MARKETABLE OPTION?

New Urban developments offer a physical form that differs considerably from the dominant pattern of sub urbanism in North America. While theorists argue that New Urbanist principles must be adopted in their entirety, property developers often find that compromises must be made to obtain necessary government approvals. This results in “hybrid” developments that lack all of the features of true New Urbanism. Based on surveys of residents of two Canadian communities, it would appear that some of the touchstones of New Urbanism are not actually essential and that there are few significant differences in in resident satisfaction levels between residents of different types of New Urban communities.new urbanism, resident satisfaction, urban communities

Keys to unblocking multilateral nuclear arms control

Includes bibliographical references (p. 9.) "July 2002"This article outlines the activities that must be undertaken and the issues that must be addressed in order for multilateral arms control to succeed in the 21st century, given the current US opposition to most international agreements.unpublishednot peer reviewe

B cell reductive therapy with rituximab in the treatment of rheumatoid arthritis.

The approach to treating autoimmune disorders is currently undergoing a significant change in focus. As therapies are developed that are more precise in targeting the pathogenesis for these diseases, patients experience significantly fewer side effects. At the same time, as more precise therapies are discovered, the etiologies of these diseases become further elucidated. It is now widely accepted that B-lymphocytes play a significant role in the pathogenesis of various autoimmune diseases, the extent of which continues to be the focus of ongoing research. Rheumatoid arthritis is one such disease process that has been the focus of various B-lymphocyte-directed therapeutic trials. In this paper we review the current research available on rituximab as treatment for rheumatoid arthritis. This review details results from four main studies, as well as others, which used rituximab in at least one of the arms in treatment of rheumatoid arthritis. The results are promising and will likely lead to longer term studies as well as a potential focus on B cell subsets

Effect of woodstack structure on invertebrate abundance and diversity

Reduced quantities of dead wood in managed forests have resulted in a reduction in the abundance and diversity of saproxylic invertebrates to the extent that many are now considered red list species. To mitigate against this loss, one conservation measure is the provision of dead wood, in the form of piles of chopped logs, i.e. ‘woodstacks’. The heterogeneity and volume of dead wood habitat is considered to be an important component of habitat suitability. However, the value of different woodstack types to invertebrate conservation has rarely been quantified and there is little consensus on how to best to survey the invertebrate fauna of woodstacks. This study used both sticky traps and pitfall traps to sample the invertebrate fauna of three types of sycamore woodstack. Woodstacks were made from 10 logs, 20 logs and 10 scorched logs plus a control woodstack made of unplasticised polyvinyl chloride (uPVC) plastic piping and observed over a 4-week period. A total of 1446 invertebrates from 16 orders, including 127 Coleoptera, were caught during the sampling period. A generalized linear model was used to analyse invertebrate abundance between woodstack and between trap types, and diversity was determined using Shannon diversity indices and analysed using a two-way Analysis of Variance (ANOVA). The woodstack type had no effect on the abundance of invertebrates. However, Shannon diversity was highest on the scorched woodstacks, with little difference between the 10 and 20 log stacks and the control uPVC woodstacks. However, closer inspection of orders revealed the uPVC woodstacks to have the lowest abundance and diversity of Coleoptera. This study suggests that constructing woodstacks can provide suitable habitat for a variety of invertebrates. However, these invertebrates may have simply used the structures for shelter and the true value with saproxylic invertebrates could not be measured in this 4-week study. To fully appreciate the conservation value of woodstacks will require longer term studies that examine how and when saproxylic invertebrates use dead and decaying wood