مدل سازی صوری احراز هویت از طریق مفهوم دید مشاهده گر

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

کلیدواژه ها:

سیستم انتقالی ، جبر پردازه ای ارتباطی ، تجرید ، همسانی شاخه ای ریشه دار ، احراز هویت