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

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

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

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

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

رحیم رمضانیان

دانشگاه صنعتی شریف، دانشکده ریاضی

Certificate
I'm the author of the paper

Export:

Link to this Paper:

https://civilica.com/doc/788034

Document National Code:

ISCC10_020

Index date: 27 October 2018

How to cite:

If you want to refer to this Paper in your research work, you can simply use the following phrase in the references section:

رمضانیان، رحیم،1392،مدل سازی صوری احراز هویت از طریق مفهوم دید مشاهده گر،10th Internation lIranian Security Community Conference،Yazd،https://civilica.com/doc/788034

در داخل متن نیز هر جا که به عبارت و یا دستاوردی از این Paper اشاره شود پس از ذکر مطلب، در داخل پارانتز، مشخصات زیر نوشته می شود.
برای بار اول: (1392، رمضانیان، رحیم؛ )
برای بار دوم به بعد: (1392، رمضانیان؛ )
برای آشنایی کامل با نحوه مرجع نویسی لطفا بخش راهنمای سیویلیکا (مرجع دهی) را ملاحظه نمایید.

Scientometrics

The specifications of the publisher center of this Paper are as follows:

Ranking of Sharif University of Technology

Type of center: دانشگاه دولتی

Paper count: 17,719

In the scientometrics section of CIVILICA, you can see the scientific ranking of the Iranian academic and research centers based on the statistics of indexed articles.

مقالات پیشنهادی مرتبط

مقالات فوق بر اساس داده کاوی مقالات مطالعه شده توسط پژوهشگران محاسبه شده است.

Related papers

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