Higher-order program verification and language-based security (extended abstract)

DOI10.1007/978-3-642-10622-4_2MaRDI QIDQ3656838zbMATH OpenOpenAlexFDO

Authors Naoki Kobayashi

Publication date 14 January 2010

Published in Advances in Computer Science - ASIAN 2009. Information Security and Privacy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-10622-4_2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1832229
• Language-based program verification via expressive types
• Model checking higher-order programs
• Types and trace effects of higher order programs
• Types and higher-order recursion schemes for verification of higher-order programs

Cited in

(3)

• A Testing Theory for a Higher-Order Cryptographic Language
• scientific article; zbMATH DE number 1832229 (Why is no real title available?)
• Formal verification of language-based concurrent noninterference

Describes a project that uses

Uses Software

• HBAC

This page was built for publication: Higher-order program verification and language-based security (extended abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3656838)