مقاله An Automatic Security Verifier based on Horn clauses pdf
مقاله An Automatic Security Verifier based on Horn clauses pdf دارای 8 صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است
فایل ورد مقاله An Automatic Security Verifier based on Horn clauses pdf کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه و مراکز دولتی می باشد.
این پروژه توسط مرکز مرکز پروژه های دانشجویی آماده و تنظیم شده است
توجه : در صورت مشاهده بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل ورد می باشد و در فایل اصلی مقاله An Automatic Security Verifier based on Horn clauses pdf ،به هیچ وجه بهم ریختگی وجود ندارد
بخشی از متن مقاله An Automatic Security Verifier based on Horn clauses pdf :
سال انتشار: 1392
محل انتشار: همایش ملی مهندسی کامپیوتر و توسعه پایدار با محوریت شبکه های کامپیوتری، مدل سازی و امنیت سیستمها
تعداد صفحات: 8
چکیده:
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.
کلمات کلیدی:
