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

مقدمه: در این پژوهش، وضعیت عوامل مرتبط با اجرای روش هزینه یابی بر مبنای فعالیت در بودجه ریزی مبتنی بر عملکرد دانشگاه علوم پزشکی و خدمات بهداشتی درمانی اصفهان بر اساس الگوی شه شامل سه عامل توانمندی، مشروعیت و مقبولیت بررسی شده است. روش پژوهش: این پژوهش از نظر هدف، کاربردی و از نظر ماهیت داده ها، توصیفی-تحلیلی است. جامعه آماری پژوهش شامل مدیران، کارشناسان مالی و بودجه و رؤسای حسابداری واحدهای تاب...

مقدمه: به دلیل اهمیت بودجه ریزی و لزوم تغییر شیوه بودجه ریزی فعلی به بودجه ریزی مبتنی بر عملکرد، پژوهش حاضر با هدف بررسی الزامات اجرای بودجه ریزی مبتنی بر عملکرد در بیمارستان امام خمینی (ره) مهاباد انجام شده است. روش پژوهش: پژوهش حاضر توصیفی از نوع کاربردی است. جامعه آماری پژوهش را کلیه کارکنان امور مالی، کارشناسان بودجه، کارشناسان حسابداری و مسئولین واحدها و بخش های بیمارستان امام خمینی (ره) م...

هدف از تولید و گسترش سیستم های پرسش و پاسخ، ایجاد پاسخ دقیق برای پرسش داده شده به زبان طبیعی می باشد. یکی ازمهم ترین بخش های سیستم های پرسش و پاسخ دسته بندی پرسش است. عمل دسته بندی پرسش، پیش بینی نوع پاسخ مورد نیاز برای پرسش داده شده به زبان طبیعی می باشد. کارهای انجام شده در این زمینه را می توان در دو دسته ی مبتنی بر قانون و مبتنی بر یادگیری تقسیم کرد. در این مقاله برای دسته بندی پرسش ها، از ی...

شبکه های حسگر نسل جدیدی از شبکه ها هستند که به طور معمول از تعداد زیادی گره ارزان قیمت تشکیل شده اند و ارتباط این گره ها به صورت بیسیم صورت می گیرد. هدف اصلی در این شبکه ها، جمع آوری اطلاعاتی در مورد محیط پیرامون حسگر های شبکه است. نحوه عملکرد کلی این شبکه ها به این صورت است که گره ها اطلاعات مورد نیاز را جمع آوری می کنند و سپس آنها را به سمت گیرنده ارسال می کنند. شبکه های حسگر امروزه به عنوان ...

حملات مبتنی بر کانال جانبی یک سری جدید از تهدیدات علیه الگوریتم های رمزنگاری و سیستم های امنیتی هستند. این حملات بر خلاف حملات کلاسیک، به ضعف های محاسباتی الگوریتم ها کاری تداشته و از ضعف های پیاده سازی استفاده می نمایند. در این حملات از اطلاعات کانال جانبی مانند زمان اجرا، توان مصرفی وسیله زمزنگار، تشعشعات مغناطیسی، دفعات مراجعه به حافظه های cache و ... استفاده نموده و امنیت سیستم را مورد ت...

با توجه به نرخ سریع پیچیدگی ها و تغییرات محیطی در دنیای رقابتی امروز، سبک مدیریت در سازمان ها با تغییر و تحول روبه رو شده است که به طور خلاصه به سه دوره تقسیم می شود: مدیریت مبتنی بر مقررات،[1] مدیریت مبتنی بر اهداف[2] و مدیریت مبتنی بر ارزش ها یا اصول محور.[3] البته در جهان تحول دیگری در مباحث نوین مدیریت به وجود آمده که آن مطالعه و ارزیابی رابطه سازمان و محیط (در چارچوب مدیریت راهبردی) است که...

فرآیند بین المللی شدن به معنای توسعه صادرات است. شرکتها از لحاظ قرار گرفتن بر روی پیوستار فرآیند بین المللی شدن متفاوت هستند و در هر مرحله از این فرآیند نیاز به خدمات متفاوتی جهت توسعه صادرات دارند. فرآیند بین المللی شدن شرکت ها مورد توجه تحقیقات تجربی بسیاری بوده و از دیدگاه های مختلف مورد بررسی قرار گرفته است. در این مقاله چهار مدل مهم که عبارتند از مدل های مکتب آپ سالا (مدل های یو)، مدل های ...

هدف: کتابداری بالینی فرایندی است که در آن کتابدار بیمارستانی با حضور در بخشهای بیمارستان به طورمستقیم نیازهای اطلاعاتی پزشکان را دریافت نموده و با جستجوی دقیق و مناسب مباحث را دراسرع وقت در اختیار آنها قرارمی دهد. در این پژوهش به بررسی نقش کتابخانه و کتابدار درعملکرد مبتنی برشواهد، آگاهی پزشکان و کتابداران از پزشکی مبتنی بر شواهد و موانع پیش روی پرداخته است . روش پژوهش: روش این پژوهش پیمایشی و ...

در این پژوهش، رابطه بین معیارهای سنجش کیفیت اطلاعات از بُعد دقت (سود) (پایداری، پیش بینی پذیری، هموارسازی، مربوط بودن، آگاهی دهندگی، بهنگام بودن، محافظه کاری و شفافیت) و بازده اضافی مطلق به عنوان یکی از اثرات کیفیت اطلاعات بررسی شد. بدین منظور، معیارهای سنجش کیفیت اطلاعات به پشتوانه ادبیات نظری و با استفاده از مدل های متداول اندازه گیری شد. در این راستا، اطلاعات 67 شرکت (1139 شرکت- سال) پذیرفته ...