Boyd and Mao (“On a Limitation of BAN Logic”, in these proceedings) suggest that it is easy to use the authentication logic of Burrows, Abadi and Needham to approve protocols that are in practice unsound, and present two examples. We illustrate that the problem in the first example can be traced to a violation of pre-conditions in the BAN analysis (involving ill-founded trust in a trusted serve...

Tobacco smoking and exposure to secondhand tobacco smoke are associated with disability and premature mortality in low and middle-income countries. The aim of this study was to assess the cost-effectiveness of implementing India's Prohibition of Smoking in Public Places Rules in the state of Gujarat, compared to implementation of a complete smoking ban. Using standard cost-effectiveness analysi...

OBJECTIVES Legislation to ban smoking in public places is currently a major area of interest across Canada. The main objectives of the study were to 1) determine the effect of the smoking ban on incidence of acute myocardial infarction, 2) determine if the new legislation altered population-based smoking prevalence, and 3) measure public support for the public smoking ban. METHODS The city of...

Authentication between mobile devices in ad-hoc computing environments is a challenging problem. Without pre-shared knowledge, existing applications must rely on additional communication methods, such as out-of-band or location-limited channels for device authentication. Much of the focus in development of new applications in this area seeks to reduce or eliminate the impact of this additional ...

BACKGROUND Research evaluating enforcement and compliance with smoking partial bans is rather scarce, especially in countries with relative weak tobacco control policies, such as Portugal. There is also scarce evidence on specific high risk groups such as vehicle workers. In January 2008, Portugal implemented a partial ban, followed by poor enforcement. The purpose of this study was to explore ...

STUDY OBJECTIVE We examine the attitudes of emergency department (ED) key informants about the perceived effects of a statewide ban on ambulance diversion on patients, providers, and working relationships in a large urban emergency medical system. METHODS We performed a qualitative study to examine the effects of a diversion ban on Boston area hospitals. Key informants at each site completed ...

BACKGROUND Previous studies have shown decreases in cardiovascular mortality following the implementation of comprehensive smoking bans. It is not known whether cerebrovascular or respiratory mortality decreases post-ban. On March 29, 2004, the Republic of Ireland became the first country in the world to implement a national workplace smoking ban. The aim of this study was to assess the effect ...

Using cross-sectional data from three waves of the Youth Tobacco Policy Study, which examines the impact of the UK's Tobacco Advertising and Promotion Act (TAPA) on adolescent smoking behaviour, we examined normative pathways between tobacco marketing awareness and smoking intentions. The sample comprised 1121 adolescents in Wave 2 (pre-ban), 1123 in Wave 3 (mid-ban) and 1159 in Wave 4 (post-ba...

BACKGROUND Few studies in Europe have investigated home smoking bans and their association with child smoking. METHODS A nationwide survey of 12 to 18-year olds in 2005 (n = 6503, response rate 66%) was used to study home smoking bans in Finland. Multinomial logistic regression analyses were used to study association of home smoking bans and child smoking. RESULTS Of the respondents, 58% re...

Fransesco Barone-Adesi and colleagues present an interesting analysis of hospital admissions forMI around the introductionof Italy’s national smoking ban. They claim to have observed an 11% reduction in admissions aged ,60, almost entirely attributable to removal of exposure to ‘side smoke’, by comparing 5 months admissions after introduction of the ban, with a comparable period in the previous...