شماره ركورد كنفرانس :
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
كليدواژه :
Fuzzy dining cryptographers’ protocol , Anonymity , Epistemic Godel logic , Verification , Layered Common Knowledge
عنوان كنفرانس :
هفدهمين كنفررانس ملي سيستم هاي فازي، پانزدهمين كنفرانس ملي سيستم هاي هوشمند و ششمين كنگره ملي مشترك سيستم هاي فازي و هوشمند ايران
چكيده فارسي :
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.
