Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types-Reference-Cited by-同舟云学术

Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types

Published:2005-01 Issue: Volume:117 Page:183-207
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Cervesato Iliano,Stehr Mark-Oliver

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference16 articles.

1. Lambda-calculi with types;Barendregt,1992

2. Specification and proof in membership equational logic;Bouhoula;Theoretical Computer Science,2000

3. Butler, F., I. Cervesato, A.D. Jaggard and A. Scedrov, A Formal Analysis of Some Properties of Kerberos 5 Using MSR, in: Fifteenth Computer Security Foundations Workshop (2002), pp. 175–190

4. Cervesato, I., A specification language for crypto-protocols based on multiset rewriting, dependent types and subsorting, in: Workshop on Specification, Analysis and Validation for Emerging Technologies, 2001, pp. 1–22

5. Cervesato, I., Typed MSR: Syntax and examples, in: 1st International Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security (2001), pp. 159–177

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal foundations for situation awareness based on dependent type theory;Information Fusion;2013-01

2. Rewriting logic bibliography by topic: 1990–2011;The Journal of Logic and Algebraic Programming;2012-10

3. An algebraic semantics for MOF;Formal Aspects of Computing;2010-05

4. A rewriting logic approach to operational semantics;Information and Computation;2009-02

5. Extracting Kerberos passwords through RC4-HMAC encryption type analysis;2008 IEEE/ACS International Conference on Computer Systems and Applications;2008-03