شماره ركورد كنفرانس :
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 نويسنده
كليدواژه :
reputation system , attacks , prism , quantitative verification , Beta Reputation
عنوان كنفرانس :
دهمين كنفرانس بين المللي انجمن رمز ايران
شماره مدرك كنفرانس :
2332495
