An Automatic Security Verifier based on Horn clauses

سال انتشار: 1392
نوع سند: مقاله کنفرانسی
زبان: انگلیسی
مشاهده: 1,250

فایل این مقاله در 8 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

CESD01_003

تاریخ نمایه سازی: 25 اسفند 1392

چکیده مقاله:

The design of cryptographic protocols is difficult and error-prone. This can be illustrated by flaws found inexisting protocols. It is therefore important to have tools to verify the properties of cryptographic protocols.Several techniques can be used to build such tools: theorem proving, model checking, typing and etc. We study a technique based on an abstract representation of the protocol by a set of Horn clauses. This technique yields fully automatic proofs of protocols for an unbounded number of runs.

کلیدواژه ها:

نویسندگان

Nasim Nemati

MSc student of Damghan University

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Blanchet. B. An efficient cryptographic protocol verifier based _ Prolog ...
  • Blanchet. B. From secrecy to authenticity in security protocols. In ...
  • Simple syntactic annotation. ...
  • Retains the intended behavior of the protocol. ...
  • Prevents type flaw attacks. ...
  • Blanchet. B. Automatic proof of strong secrecy for security protocols. ...
  • Blanchet. B and Podelski A. Verification of cryptographic protocols: Tagging ...
  • Burrows. M, Abadi. M, and Needham. R. A logic of ...
  • نمایش کامل مراجع