نتایج جستجو برای: ban analysis
تعداد نتایج: 2829750 فیلتر نتایج به سال:
Newcastle disease virus (NDV) can cause severe disease in chickens. Although NDV vaccines exist, there are frequent reports of outbreaks in vaccinated chickens. During 2009-2010, despite intense vaccination, NDV caused major outbreaks among commercial poultry farms in Indonesia. These outbreaks raised concern regarding the protective immunity of current vaccines against circulating virulent str...
منطق اِحراز هویت باروز ابدی و نیدهام (ban) گام های مهمی در جهت تحلیل پروتکل های امنیت بر می دارد، و دارای چندین بازبینی پی در پی پیشرفته است. در این پایان نامه منطق های vo و svo را مطالعه می کنیم. vo یک گسترش از منطق های خانواده ban می باشد که برای اولین بار، بررسی کلید عمومی مبتنی بر پروتکل های ایجاد کلید اِحراز هویتی که هر دو عامل در اشتقاق کلید (یعنی، پروتکل های توافق-کلید) همکاری دارند را...
The pioneering and well-known work of Burrows, Abadi and Needham (the BAN logic) which dominates the area of security protocol analysis is shown to take an approach which is not fully formal and which consequently permits approval of dangerous protocols. Measures to make the BAN logic formal are then proposed. The formalisation is found to be desirable not only for its potential in providing ri...
منطق ban که یک منطق شناختی برای تحلیل پروتکل های امنیت است، شامل یک قانون استنتاج ناموجه است. این قانون با h نمایش داده می شود. منطق ban یک خاصیت سوال برانگیز را به عنوان نتیجه ای از این قانون، به نمایش می گذارد. این خاصیت به عدم صحت شبیه است اما به طور صریح هم ارز آن نیست. ما این خاصیت را با "عدم صحت" نشان می دهیم و آن را با استفاده از پروتکل دوطوطی اثبات می کنیم. خاصیت "عدم صحت" با اس...
This paper introduces the sensor-networked IoT model as a prototype to support the design of Body Area Network (BAN) applications for healthcare. Using the model, we analyze the synergistic effect of the functional requirements (data collection from the human body and transferring it to the top level) and non-functional requirements (trade-offs between energy-security-environmental factors, tre...
1. The project completion report (PCR) of Urban Primary Health Care Project (UPHCP) was completed in March 2007. The overall assessment was rated as successful. The Project design was (i) highly relevant, effective and efficacious in achieving the outcomes; (ii) efficient in achieving outcome and outputs; and (iii) likely sustainable. It significantly impacted on poverty through improvement of ...
Background: The aim of this study was to evaluate the effect of anti-smoking legislation in public places and public support for smoking ban. Methods: A cross-sectional survey was conducted in public places such as market, bus/railway station, workplaces and hospitals in Udaipur, India. Informed consent was obtained. The questionnaire comprised of details about their agreement with the current ...
In France, despite the ban of meat-and-bone meal (MBM) in cattle feed, bovine spongiform encephalopathy (BSE) was detected in hundreds of cattle born after the ban. To study the role of MBM, animal fat, and dicalcium phosphate on the risk for BSE after the feed ban, we conducted a spatial analysis of the feed industry. We used data from 629 BSE cases as well as data on use of each byproduct and...
The objective of this study was to investigate the attitudes of restaurant managers, employees and customers towards a total smoking ban policy in restaurants. A restaurant based survey in an urban area of Kunming City, China, was carried out from May to August 2009. One hundred managers, 1,055 employees and 5,213 customers aged 15 years or above were interviewed using a structured questionnair...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید