کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10329440 685403 2005 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language
چکیده انگلیسی
We present an algorithm for the translation of security protocol specifications in the HLPSL language developed in the framework of the AVISPA project to a dialect of the applied pi calculus. This algorithm provides us with two interesting scientific contributions: at first, it provides an independent semantics of the HLPSL specification language and, second, makes it possible to verify protocols specified in HLPSL with the applied pi calculus-based ProVerif tool. Our technique has been implemented and tested on various security protocols. The translation can handle a large part of the protocols modelled in HLPSL.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 135, Issue 1, 5 July 2005, Pages 59-77
نویسندگان
, , ,