شماره ركورد كنفرانس
515
عنوان مقاله
Quantitative Verification of Beta Reputation System Using PRISM Probabilistic Model Checker
عنوان به زبان ديگر
Quantitative Verification of Beta Reputation System Using PRISM Probabilistic Model Checker
پديدآورندگان
Jalaly Bidgoly Amir نويسنده , tork ladani behrouz نويسنده
تعداد صفحه
6
كليدواژه
reputation system , attacks , prism , quantitative verification , Beta Reputation
عنوان كنفرانس
دهمين كنفرانس بين المللي انجمن رمز ايران
زبان مدرك
فارسی
شماره مدرك كنفرانس
2332495
سال انتشار
1392
از صفحه
1
تا صفحه
6
سال انتشار
0
لينک به اين مدرک