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

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-14054-4_8
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

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

IPSJ Digital Courier
2007English

A Decidable Analysis of Security Protocols

English

The TAMARIN Prover for the Symbolic Analysis of Security Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Comparative Analysis of Wireless Security Protocols and Issues

International Journal of Trend in Scientific Research and Development
2018English

Verification of Security Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Verification of Security Protocols

English

Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Compositional Mining of Multiple Object API Protocols Through State Abstraction

The Scientific World Journal
BiochemistryMedicineGeneticsMolecular BiologyEnvironmental Science
2013English

Reputation-Based Wi-Fi Deployment Protocols and Security Analysis

2004English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy