مدل سازی صوری احراز هویت از طریق مفهوم دید مشاهده گر
Publish place: 10th Internation lIranian Security Community Conference
Publish Year: 1392
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 321
This Paper With 5 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ISCC10_020
تاریخ نمایه سازی: 5 آبان 1397
Abstract:
در جبر پردازیه ای ارتباطی عمل سکوت برای معرفی عمل های پنهان پردازه ها استفاده می شود. در این مقاله به تعریف عمل های پنهان یک پردازه از دید یک پردازنده دیگر می پردازیم، به علاوه نشان می دهیم که با اضافه شدن عملگرد جدید به زبان جبر پردازه های ارتباطی همچنان رابطه ی همسانی شاخه ای رشه دار دارای خاصیت تجانس است. در این مقاله یک پروتکل احراز هویت و حمله به آن را به وسیله عملگر جدید دید مشاهده گرد مدل می کنیم.
Keywords:
Authors
رحیم رمضانیان
دانشگاه صنعتی شریف، دانشکده ریاضی