کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9656021 | 685534 | 2005 | 25 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types](/preview/png/9656021.png)
چکیده انگلیسی
This paper presents a shallow and hence efficient embedding of the security protocol specification language MSR into rewriting logic with dependent types, an instance of the open calculus of constructions which integrates key concepts from equational logic, rewriting logic, and type theory. MSR is based on a form of first-order multiset rewriting extended with existential name generation and a flexible type infrastructure centered on dependent types with subsorting. This encoding is intended to serve as the basis for implementing an MSR specification and analysis environment using existing first-order rewriting engines such as Maude.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 117, 20 January 2005, Pages 183-207
Journal: Electronic Notes in Theoretical Computer Science - Volume 117, 20 January 2005, Pages 183-207
نویسندگان
Iliano Cervesato, Mark-Oliver Stehr,