در این رساله ابتدا تئوری های رایج در حوزه زبان دین مورد بررسی قرار می گیرند. گزاره های الهیاتی در تقسیم بندی کلی به معنا داری یا بی معنایی و معرفت بخشی یا غیر معرفت بخش بودن منقسم می شوند. آنچه در بین فلاسفه معاصر در حوزه زبان دین بیشتر مورد توجه قرار دارد، معرفت بخشی یا غیر معرفت بخش بودن گزاره های الهیاتی است نه معنا داری یا بی معنایی آنها. دومین مطلبی که مورد بررسی قرار گرفته، تئوری تمثیلی توماس آکویناس است. این نظریه با رد کردن مشترک معنوی یا مشترک لفظی بودن زبان دین راه میانه خوبی را فراهم کرده تا ما را از سقوط در ورطه تنزیه یا تشبیه صرف رهاسازد. اما دارای اشکالاتی است که بیان می گردد. مبحث سوم اختصاص به دیدگاه تنزیهی-تشبیهی ابن عربی دارد. وی معتقد است که ما هرگز قادر به درک ذات خدا نیستیم. اما از طریق صفات خدا می توانیم به شناخت خدا نایل شویم. ابن عربی تنزیه محض را عین تشبیه می داند و می گوید تنزیه گر یا تشبیه کننده محض، معرفت ناکاملی از خدا دارند. او با استفاده از آیه مبارکه «لیس کمثله شئ و هو السمیع البصیر»، بنیان تئوری تنزیه در عین تشبیه خود را پایه ریزی می کند. در پایان این دو نظریه با هم مقایسه و نقاط مشترک و اختلاف این دو بیان می گردد

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