شماره ركورد كنفرانس
4330
عنوان مقاله
A Fuzzy Anonymity Protocol and Its Analysis Using DEGP
عنوان به زبان ديگر
A Fuzzy Anonymity Protocol and Its Analysis Using DEGP
پديدآورندگان
Farahani Hadi h− farahani@sbu.ac.ir Shahid Beheshti University, G.C , Moshiri Saman moshiri.saman@yahoo.co.uk Shahid Beheshti University, G.C
تعداد صفحه
8
كليدواژه
Fuzzy dining cryptographers’ protocol , Anonymity , Epistemic Godel logic , Verification , Layered Common Knowledge
سال انتشار
1396
عنوان كنفرانس
هفدهمين كنفررانس ملي سيستم هاي فازي، پانزدهمين كنفرانس ملي سيستم هاي هوشمند و ششمين كنگره ملي مشترك سيستم هاي فازي و هوشمند ايران
زبان مدرك
انگليسي
چكيده فارسي
In this paper we introduce a fuzzy version FDCP of traditional dining cryptographers’
problem that its main requirement is anonymity. We define the notion of Layered Common
Knowledge. Then, apply the prover DEGP; which is based on the Dynamic Epistemic Godel
Logic established in [2]; to verify some anonymity properties of FDCP.
چكيده لاتين
In this paper we introduce a fuzzy version FDCP of traditional dining cryptographers’
problem that its main requirement is anonymity. We define the notion of Layered Common
Knowledge. Then, apply the prover DEGP; which is based on the Dynamic Epistemic Godel
Logic established in [2]; to verify some anonymity properties of FDCP.
كشور
ايران
لينک به اين مدرک