نتایج جستجو برای: ban logic
تعداد نتایج: 157888 فیلتر نتایج به سال:
منطق اِحراز هویت باروز ابدی و نیدهام (ban) گام های مهمی در جهت تحلیل پروتکل های امنیت بر می دارد، و دارای چندین بازبینی پی در پی پیشرفته است. در این پایان نامه منطق های vo و svo را مطالعه می کنیم. vo یک گسترش از منطق های خانواده ban می باشد که برای اولین بار، بررسی کلید عمومی مبتنی بر پروتکل های ایجاد کلید اِحراز هویتی که هر دو عامل در اشتقاق کلید (یعنی، پروتکل های توافق-کلید) همکاری دارند را...
Wireless sensor networks (WSNs) are widely used in day to activities order provide users with multiple services such as smart grids, homes, industrial internet of things (IoT), agriculture and health-care. These provided by collecting transmitting the sensing data gateway node over an unsafe channel, having constraints security, energy consumption connectivity. In 2022, Fariss et al. proposed E...
Fast Handover for Hierarchical Mobile IPv6 (F-HMIPv6) that combines advantages of Fast Handover for Mobile IPv6 (FMIPv6) and Hierarchical Mobile IPv6 (HMIPv6) achieves the superior performance in terms of handover latency and signaling overhead compared with previously developed mobility protocols. However, without being secured, F-HMIPv6 is vulnerable to various security threats. In 2007, Kang...
With the rising need for highly advanced and digital learning coupled with the growing penetration of smartphones has contributed to the growth of Mobile Learning. According to Ericsson’s forecast, 80% of the world’s population (6.4 billion people) will be Smartphone users by 2021. But the existing Mobile Learning Frameworks has some limitations that need to be addressed for mass adaptation, li...
The EPC Class-1 Generation-2 specification(Gen-2 in brief) is widely accepted as the standard for RFID tags under grant number ISO18000-6c. However, there are two problems in view of its security authentication protocols. First of all, there is no unified standard for the security requirements, such as which threats should be protected against. Secondly, there is no widely acceptable means to g...
منطق ban که یک منطق شناختی برای تحلیل پروتکل های امنیت است، شامل یک قانون استنتاج ناموجه است. این قانون با h نمایش داده می شود. منطق ban یک خاصیت سوال برانگیز را به عنوان نتیجه ای از این قانون، به نمایش می گذارد. این خاصیت به عدم صحت شبیه است اما به طور صریح هم ارز آن نیست. ما این خاصیت را با "عدم صحت" نشان می دهیم و آن را با استفاده از پروتکل دوطوطی اثبات می کنیم. خاصیت "عدم صحت" با اس...
The Yahalom protocol is one of those analyzed by Burrows et al. [5]. Based upon their analysis, they have proposed modifications to make the protocol easier to understand and to analyze. Both versions of Yahalom have now been analyzed using Isabelle/HOL. Modified Yahalom satisfies strong security goals, and the original version is adequate. The mathematical reasoning behind these machine proofs...
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 ...
The past four years have seen a steady increase in the number of companies that offer direct-to-consumer (DTC) genetic testing services and in the number of such tests for genetic risk factors, including a wide range of diseases and other non-disease-related traits. These companies sell their tests outside the traditional healthcare setting and often do not involve healthcare professionals for ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید