Model Checking Indistinguishability of Randomized Security Protocols

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-96142-2_10
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

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 Security Protocols and Its Implementation by Maude

IPSJ Digital Courier
2007English

Model Checking Cryptographic Protocols With Interval Temporal Logic

Journal of Convergence Information Technology
2010English

State Space Reduction Techniques for Model Checking of MANET Protocols

International Journal of Networking and Computing
2017English

Apply Model Checking to Security Analysis in Trust Management

2007English

Verification of Security Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Verification of Security Policy Filtering Rules With Temporal Parameters by Model Checking

SPIIRAS Proceedings
ControlSystems EngineeringInformation SystemsComputer NetworksApplied MathematicsMathematicsCommunicationsComputer Science ApplicationsComputational TheoryComputational MathematicsArtificial Intelligence
2014English

Verification of Security Protocols

English

Verification of Concurrent Quantum Protocols by Equivalence Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy