Scenario-based specification of security protocols and transformation to security model checkers-Reference-Cited by-同舟云学术

Scenario-based specification of security protocols and transformation to security model checkers

Published:2020-10-16 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
language:
Short-container-title:

Author:

Koch Thorsten¹,Dziwok Stefan¹,Holtmann Jörg¹,Bodden Eric²

Affiliation:

1. Fraunhofer IEM, Germany

2. Paderborn University and Fraunhofer IEM, Germany

Funder

European Regional Development Fund

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3365438.3410946

Reference36 articles.

1. Martín Abadi Bruno Blanchet and Cédric Fournet. [n.d.]. The Applied Pi Calculus: Mobile Values New Names and Secure Communication. http://arxiv.org/pdf/1609.03003v2 Martín Abadi Bruno Blanchet and Cédric Fournet. [n.d.]. The Applied Pi Calculus: Mobile Values New Names and Secure Communication. http://arxiv.org/pdf/1609.03003v2

2. Mobile values, new names, and secure communication

3. Assessing the Effectiveness of Sequence Diagrams in the Comprehension of Functional Requirements: Results from a Family of Five Experiments

4. An efficient cryptographic protocol verifier based on prolog rules

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

1. Evaluating formal model verification tools in an industrial context: the case of a smart device life cycle management system;Software and Systems Modeling;2024-08-16

2. A novel formal logic for formal analysis of timeliness in non-repudiation protocols;Journal of King Saud University - Computer and Information Sciences;2023-09

3. Feedback on the formal verification of UML models in an industrial context;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23