در این پایان نامه یک درست یاب خودکار پروتکل های رمزنگاری جدید بر اساس یک نمایش ساده از پروتکل به وسیله ی ‏قاعده های پرولوگ و یک الگوریتم کارآمد جدید که مشخص می کند، آیا یک حقیقت از این قاعده ها استنتاج می شود یا خیر، ارائه شده است. این درست یاب خاصیت محرمانگی در پروتکل ها را اثبات می کند. به کمک استفاده الگوریتم از اتحاد، از مساله ی انفجار فضای حالت جلوگیری می شود. مزیت دیگر این است که نیازی به محدود کردن تعداد اجراهای پروتکل در تحلیل نیست. صحت این الگوریتم اثبات و پیاده سازی ‏شده است. نتایج آزمایشی نشان می دهد که پروتکل های زیادی از جمله skeme توسط این ابزار با منابع (حافظه و زمان) خیلی کم قابل تحلیل است. زمان این تحلیل کمتراز 0.1 ثانیه برای پروتکل های ساده و تا 23 ثانیه برای حالت کامل پروتکلskeme ‎ می باشد و کمتر از 2 مگابایت از حافظه را اشغال می کند.

امروزه کارآفرینی یکی از دغدغه های اصلی بسیاری از مدیران سازمان ها محسوب می شود .استفاده از افکار وایده های نوآور کارکنان کارآفرین می تواند منشاء تحولات عظیمی درسازمان ها و نیز به حرکت درآوردن چرخ های توسعه اقتصادی کشور شود. گردشگری یکی از بخش های اقتصادی است که به درجه بالایی از مشارکت فعالیت های کارآفرینانه نیاز دارد. پاسخگویی به تقاضای روزافزون و نیازهای مختلف گردشگری نیازمند تنوع خدمات و محصولات گردشگری است که رسیدن به این مهم تنها از طریق نوآور کردن سازمان های مرتبط با گردشگری و بهره مندی از تفکر خلاق کارکنان و مدیران این سازمان ها امکان پذیر است.هدف از این تحقیق تعیین وجود یا عدم وجود ساختار سازمانی کارآفرینانه، فرهنگ سازمانی کارآفرینانه، تعامل مستمر با محیط، چشم-انداز مشترک و استراتژی آینده¬نگر، رفتار کارآفرینانه و ارتباطات کارآفرینانه در سازمان های متولی گردشگری استان تهران می¬باشد. جامعه آماری در این پژوهش کلیه کارکنان و مدیران سازمان های مذکور بوده و حجم نمونه نیز برابر با 123 نفر می¬باشد که برای به دست آوردن آن از روش نمونه¬گیری تصادفی ساده و فرمول کوکران استفاده شده است. ابزار گردآوری اطلاعات در این پژوهش پرسشنامه استاندارد بوده که برای بررسی پایایی آن، ضریب آلفای کرونباخ به کار برده شده است. همچنین در این تحقیق برای گردآوری اطلاعات، روش کتابخانه¬ای و میدانی به کار گرفته شده است. تحقیق حاضر براساس هدف یک تحقیق کاربردی و همچنین براساس چگونگی به دست آوردن داده¬های مورد نیاز، از نوع تحقیقات توصیفی/تحلیلی می¬باشد. برای تجزیه و تحلیل داده¬های پرسشنامه در بخش آمار توصیفی، از شاخص¬های آماری نظیر فراوانی، جداول و نمودارها و در بخش آمار استنباطی از آزمون¬های کلوموگروف-اسمینوف و آزمون t تک نمونه ای موجود در نرم¬افزار spss استفاده شده است.نتایج حاکی از آن است که سازمان های متولی گردشگری استان تهران سازمان هایی با گرایش کارآفرینی نمی¬باشند.