Security Protocol Verification: Symbolic and Computational Models

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-28641-4_2
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Efficient Construction of Machine-Checked Symbolic Protocol Security Proofs

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2013English

Modular Verification of Security Protocol Code by Typing

ACM SIGPLAN Notices
Computer Science
2010English

On the Security Verification of a Short Message Service Protocol

2018English

Extending DIVINE With Symbolic Verification Using SMT

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

On Symbolic Verification of Bitcoin’s Script Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Generation and Verification of Algorithms for Symbolic-Numeric Processing

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1998English

Protocol Verification in Nuprl

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

AnBx - Security Protocols Design and Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Verification of Security Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy