Type-Based Verification of Correspondence Assertions for Communication Protocols

DOI10.1007/978-3-540-76637-7_13zbMath1137.68436OpenAlexW1569589535MaRDI QIDQ3498440

Naoki Kobayashi, Daisuke Kikuchi

Publication date: 15 May 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.581.4271

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62)

Related Items (3)

Type Inference for Correspondence Types ⋮ Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks ⋮ Polymorphic Fractional Capabilities

This page was built for publication: Type-Based Verification of Correspondence Assertions for Communication Protocols