The logic BAN was developed in the late eighties to reason about authenticated key establishment protocols. It uncovered many aws and properties of protocols, thus generating lots of attention in protocol analysis. BAN itself was also subject of much attention, and work was done examining its properties and limitations, developing extensions and alternatives, and giving it a semantics. More rec...

With the emergence of numerous distributed services, the importance of electronic authentication in networks is rapidly increasing. Since more than a decade, authentication protocols have been proposed and discussed. Because of various flaws which were found late, Burrows, Abadi and Needham [BAN] created a logic of authentication to formally verify authentication protocols by the end of the 80’...

The logic BAN was developed in the late eighties to reason about authenticated key establishment protocols. It uncovered many aws and properties of protocols, thus generating lots of attention in protocol analysis. BAN itself was also subject of much attention, and work was done examining its properties and limitations, developing extensions and alternatives, and giving it a semantics. More rec...

BACKGROUND In January 1998, the California state legislature extended a workplace smoking ban to bars. The purpose of this study was to explore the conditions that facilitate or hinder compliance with a smoking ban in bars. METHODS We studied the implementation of the smoking ban in bars by interviewing three sets of policy participants: bar employers responsible for complying with the law; l...

This study uses focus group data to document consumer perceptions of powerwall and other point-of-sale (POS) tobacco displays, and support for a ban on tobacco displays. Four focus groups were conducted in 2012 by a trained moderator. The study comprised 34 adult residents of New York State, approximately half with children under age 18 years living at home. Measures used in the study were awar...

BACKGROUND Particulate air pollution episodes have been associated with increased daily death. However, there is little direct evidence that diminished particulate air pollution concentrations would lead to reductions in death rates. We assessed the effect of air pollution controls--ie, the ban on coal sales--on particulate air pollution and death rates in Dublin. METHODS Concentrations of ai...

There are two models for the origins and timing of the Bronze Age in Southeast Asia. The first centres on the sites of Ban Chiang and Non Nok Tha in Northeast Thailand. It places the first evidence for bronze technology in about 2000 B.C., and identifies the origin by means of direct contact with specialists of the Seima Turbino metallurgical tradition of Central Eurasia. The second is based on...

OBJECTIVE To assess the impact of a partial smoking ban followed by a total smoking ban in a psychiatric hospital in Switzerland. METHODS In 2003, smoking was allowed everywhere in psychiatric units. In 2004, smoking was prohibited everywhere except in smoking rooms. In 2006, smoking rooms were removed and smoking was totally prohibited indoors. Patients and staff were surveyed in 2003 (n=106...

M. Yamada, S. Momoshima, Y. Masutani, K. Fujiyoshi, K. Hikishima, O. Abe, M. Nakamura, S. Aoki, N. Tamaoki, and H. Okano School of Health Sciences, Fujita Health University, Toyoake, Aichi, Japan, Imaging Analysis Laboratory, Central Institute for Experimental Animals, Kawasaki, Kanagawa, Japan, School of Medicine, Keio University, Shinjuku-ku, Tokyo, Japan, School of Medicine, University of To...