Modular Verification of Security Protocol Code by Typing

ACM SIGPLAN Notices - United States
doi 10.1145/1707801.1706350
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Security Protocol Verification: Symbolic and Computational Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Modular Security Analysis of the TLS Handshake Protocol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Formal Verification of Security Properties of Smart Card Embedded Source Code

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

On the Security Verification of a Short Message Service Protocol

2018English

Code Verification by the Method of Manufactured Solutions

2000English

Verification of Source Code Transformations by Program Equivalence Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Modular Verification of Computer Communication Protocols

IEEE Transactions on Communications
1983English

Modular Verification of Strongly Invasive Aspects

2009English

A Comparison of Modular Verification Techniques

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy