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

بازتحلیل واژگانی، یکی از جلوه‌های بومی‌سازی است که در اثر ناآگاهی افراد از ریشة واژه، رخ می‌دهد. در بازتحلیل واژگانی، جزئی از وام‌واژه بر اساس شباهت ظاهری، با یک تکواژ یا واژه مشابه، اشتباه گرفته می‌شود و با آن جایگزین می‌شود. پدیده بومی‌سازی در هر زبانی با توجه به قواعد خاصِ آن زبان، شکل ویژه‌ای به خود می‌گیرد و در پی آن نامی مرتبط با اسم همان زبان، بر آن گذارده می‌شود. بنابراین دراین مقاله، بو...

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

یک نشانه زبانی نشانه‌ای«تصویری» است اگر نوعی شباهت صوری بین دال و مدلول (به عنوان دو وجه نشانه) وجود داشته باشد.به اعتقاد پیرس مفهوم تصویر فقط متعلق به حوزه واژگان نیست، بلکه می‌تواند برای اطلاق به شباهت موجود میان ساختار زبان و ساختار دنیای خارج نیز به کار رود.در زبانشناسی شناختی زبان واقعیتی ذهنی و شناختی است.در چنین رویکردی زبان به مثابه پدیده‌ای است که در سطحی نمادین برآیند پردازش‌های پیچید...

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

شناسایی ترکیب و ساختار زیستی جوامع اکولوژیک از جمله اهداف اکولوژیستها در نواحی ساحلی است. بی مهرگان بستر از جوامع بسیار مهم در اکوسیستمهای دریایی بشمار می روند و با توجه به نقشی که در زنجیره غذایی، بازچرخش مواد و حتی بیوتوربیشن بستر دارند از اهمیت خاصی برخوردار می باشند. خیارهای دریایی جزو کفزیان مگافون می باشند و باوجود اهمیت اکولوژیک، اقتصادی و دارویی در زمره آبزیانی هستند که در آبهای ایرانی ...