An Automatic Security Verifier based on Horn clauses
عنوان مقاله: An Automatic Security Verifier based on Horn clauses
شناسه ملی مقاله: CESD01_003
منتشر شده در همایش مهندسی کامپیوتر و توسعه پایدار با محوریت شبکه های کامپیوتری، مدلسازی و امنیت سیستم ها در سال 1392
شناسه ملی مقاله: CESD01_003
منتشر شده در همایش مهندسی کامپیوتر و توسعه پایدار با محوریت شبکه های کامپیوتری، مدلسازی و امنیت سیستم ها در سال 1392
مشخصات نویسندگان مقاله:
Nasim Nemati - MSc student of Damghan University
خلاصه مقاله:
Nasim Nemati - MSc student of Damghan University
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.
کلمات کلیدی: cryptographic protocols, Horn clauses
صفحه اختصاصی مقاله و دریافت فایل کامل: https://civilica.com/doc/238830/