مدلسازی و درستیسنجی رسمی قراردادهای هوشمند اتریوم به منظور شناسایی آسیب پذیری ها
نازنین ترابی گودرزی
مدلسازی و درستیسنجی رسمی قراردادهای هوشمند اتریوم به منظور شناسایی آسیب پذیری ها
المؤلف
نازنین ترابی گودرزیطبع 1
قائمة
شناسنامه
المدخل الرئيسي
ترابی گودرزی، نازنین، پایان نامه نویس، نویسندهالعنوان واسم المؤلف
مدلسازی و درستیسنجی رسمی قراردادهای هوشمند اتریوم به منظور شناسایی آسیب پذیری ها / نازنین ترابی گودرزیالمواصفات الشكلية
[22]، 177ص.؛ جدول، نمودار، تصویر، پیوست.الموضوع
بلاکچین (پایگاههای اطلاعاتی)قراردادهای هوشمند
درستي سنجي
Verification
مدل سازي
وارسي مدل
آسيب پذيري
زبان mCRL2
Vulnerability
Model Checking
Modeling
Blockchains (Databases)
اللغة
فارسی