Decidability of Context-Explicit Security Protocols

Journal of Computer Security - Netherlands
doi 10.3233/jcs-2005-13106
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

Verification of Security Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Verification of Security Protocols

English

Analyzing Internet Security Protocols

English

Developing Security Protocols by Refinement

2010English

A Decidable Analysis of Security Protocols

English

On Message Recognition Protocols: Recoverability and Explicit Confirmation

International Journal of Applied Cryptography
Computer NetworksApplied MathematicsComputational TheoryCommunicationsComputational MathematicsMathematics
2010English

SECFUZZ: Fuzz-Testing Security Protocols

2012English

Explicit Communication Revisited: Two New Attacks on Authentication Protocols

IEEE Transactions on Software Engineering
Software
1997English

Model Checking Indistinguishability of Randomized Security Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy