نتایج جستجو برای: fujita ban analysis

تعداد نتایج: 2830544  

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه علوم پایه دامغان - دانشکده ریاضی و کامپیوتر 1393

منطق اِحراز هویت باروز ابدی و نیدهام (ban) گام های مهمی در جهت تحلیل پروتکل های امنیت بر می دارد‏‏، و دارای چندین بازبینی پی در پی پیشرفته است. در این پایان نامه منطق های vo و svo را مطالعه می کنیم. vo یک گسترش از منطق های خانواده ban می باشد که برای اولین بار‏، بررسی کلید عمومی مبتنی بر پروتکل های ایجاد کلید اِحراز هویتی که هر دو عامل در اشتقاق کلید (یعنی‏، پروتکل های توافق-کلید) همکاری دارند را...

2013
Mahito Ohkuma Fusao Kawai Ei-ichi Miyachi Fusao KAWAI

JN-01077-2012R2 2 3 Acetylcholine enhances excitability by lowering the threshold 4 of spike generation in olfactory receptor cells 5 6 Mahito Ohkuma, Fusao Kawai*, and Ei-ichi Miyachi 7 Department of Physiology, Fujita Health University, School of Medicine, 8 Toyoake, Aichi, 470-1192, Japan 9 10 Running Head: ACETYLCHOLINE ENHANCES EXCITABILITY IN 11 OLFACTORY CELLS 12 13 14 * Address for Corr...

2013
Satoko Sunagawa Futoshi Higa Haley L. Cash Masao Tateyama Tsukasa Uno Jiro Fujita

its potential role in control of influenza epidemics Satoko Sunagawa, Futoshi Higa, Haley L. Cash, Masao Tateyama, Tsukasa Uno, Jiro Fujita Department of Infectious, Respiratory, and Digestive Medicine, Control and Prevention of Infectious Diseases, Faculty of Medicine, University of the Ryukyus, Okinawa, Japan, Department of Hospital Pharmacy, Faculty of Medicine, University of the Ryukyus, Ok...

1993
Wenbo Mao Colin Boyd

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...

2011
Jiro Fujita Satoko Sunagawa Futoshi Higa Masao Tateyama Tsukasa Uno

outbreaks caused by pandemic H1N1 2009 influenza virus in Okinawa, Japan Jiro Fujita, Satoko Sunagawa, Futoshi Higa, Masao Tateyama, Tsukasa Uno Department of Infectious, Respiratory, and Digestive Medicine, Control and Prevention of Infectious Diseases, University of the Ryukyus Hospital, Okinawa, Japan. Department of Hospital Pharmacy, Faculty of Medicine, University of the Ryukyus, Okinawa, ...

Journal: :The Journal of vitaminology 1957
T TAKAI M MINO S KISHI

Methods 1. Determination of Free and Esterified Vitamin A in Blood Plasma The Fujita method (1) using alumina chromatography for separating vita min A alcohol from esterified form and measuring photometrically with the glycerol dichlorohydrin method, was employed. 2. Determination of Vitamin A Content of Feces The improved method of Fujita (2) for eliminating non-vitamin A sub stances in feces,...

2012
Hisashi Fujita

Dental caries and periodontal disease are two of the most common human diseases along with the common cold. Signs of dental caries have been seen even in early hominids (Australopithecus). It is well known that many signs of dental caries and periodontal disease were also seen in the Krapina Neanderthals and the archaic homo sapiens Kabwe man (also called “Broken Hill Man”: human from 300,000-1...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه علوم پایه دامغان - دانشکده ریاضی و کامپیوتر 1392

‏منطق ban‏ ‎‏که‎ یک منطق شناختی برای تحلیل پروتکل های امنیت است‏، شامل یک قانون استنتاج ناموجه است. این قانون با h نمایش داده می شود. منطق ban‏ یک خاصیت سوال برانگیز را به عنوان نتیجه ای از این قانون‏، به نمایش می گذارد. این خاصیت به عدم صحت شبیه است اما به طور صریح هم ارز آن نیست. ما این خاصیت را با "عدم صحت" نشان می دهیم و آن را با استفاده از پروتکل دوطوطی اثبات می کنیم. خاصیت "عدم صحت" با اس...

2016
Algimantas Venckauskas Vytautas Stuikys Nerijus Jusas Renata Burbaite

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید