در این رساله، مسئله تطبیق الگوی امن با استفاده از ارزیابی اتوماتاهای تطبیق رشته غیرقطعی را در نظر گرفتیم. راه‌حل ما مبتنی بر دسته‌ای از الگوریتم‌ّهای تطبیق الگوی مبتی بر سخت‌افزار با نام Bit-parallel‌ است. ویژگی‌های این دسته از الگوریتم‌ها به ساختارهای ما این امکان را می دهد که از هر الگوی با طول ثابت به صورت غیرتعاملی و تنها در دو دور تعامل بین طرفین درگیر پشتیبانی کنند. پروتکل امن ارائه شده همچنین قادر است محاسبه فاصله همینگ و تطبیق زیرالگو و زیررشته را برای هر الفبایی انجام دهد. این پروتکل هم برای متن عادی و هم برای کلیدواژه و متن زنده قابل به‌کارگیری است. این پروتکل، اولین پروتکل امن غیرتعاملی است که قادر است هر عبارت منظم که الگوی با طول ثابت ایجاد می‌کند را به صورت امن ارزیابی کند. بدین ترتیب، پیچیده‌ترین الگوها نیز بدون تأثیرگذاری بر پیچیدگی پروتکل قابل ارزیابی هستند. امنیت این پروتکل نیز در برابر دشمن شبه‌درستکار به اثبات رسیده است. سپس، به منظور تقویت امنیت و حفظ کارآمدی، نسخه‌ای از پروتکل ارائه شده که با شبیه‌سازی یک‌طرفه در مقابل دشمن بدکار مقاوم است. نسخه امن در مقابل دشمن بدکار نیز غیرتعاملی است و کمترین تعداد دور در مقایسه با سایر پروتکل‌های موجود را دارد. به عنوان اثباتی بر توانمندی منطق پایه استفاده شده در ساخت پروتکل، پروتکل‌های دیگری نیز برای سناریوهای دیگر مسئله تطبیق الگوی امن مانند برون‌سپاری تطبیق الگوی امن ارائه شده است. کلمات کلیدی: محاسبات چندطرفه امن، محاسبات دوطرفه امن، حریم خصوصی، امنیت، تطبیق الگو، اتوماتای تطبیق رشته، تطبیق الگوی bit-parallel، برون‌سپاری.