کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4661965 1633468 2014 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Symmetry in information flow
ترجمه فارسی عنوان
تقارن در جریان اطلاعات
کلمات کلیدی
ترجمه چکیده
در این مقاله خواص جریان اطلاعات پروتکل های متقارن چند حزبی مورد بررسی قرار می گیرد. این سیستم یک سیستم صحیح و صحیح را برای خواص وابستگی کارکردی که برای همه پروتکل ها با همان گروه متقارن رایج است، فراهم می کند.
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش مقاله
تقارن در جریان اطلاعات
چکیده انگلیسی
The article investigates information flow properties of symmetric multi-party protocols. It gives a sound and complete axiomatic system for properties of the functional dependence predicate that are common to all protocols with the same group of symmetries.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 1, January 2014, Pages 253-265
نویسندگان
, ,