On-The-Fly Model Checking of Security Protocols and Its Implementation by Maude

IPSJ Digital Courier
doi 10.2197/ipsjdc.3.343
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Information Processing Society of Japan

Related search

Model Checking Indistinguishability of Randomized Security Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Analysis of the IBM CCA Security API Protocols in Maude-Npa

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

On the Secure Implementation of Security Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

A Logic of Belief and a Model Checking Algorithm for Security Protocols

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2000English

On-The-Fly Model Checking of RCTL Formulas

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

On-The-Fly Confluence Detection for Statistical Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

On-The-Fly Model Checking Under Fairness That Exploits Symmetry

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-The-Fly Transactions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Model Checking Cryptographic Protocols With Interval Temporal Logic

Journal of Convergence Information Technology
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy