Higher-Order Program Verification and Language-Based Security

DOI10.1007/978-3-642-10622-4_2zbMath1273.68234OpenAlexW1522097072MaRDI QIDQ3656838

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)

Uses Software

• HBAC

This page was built for publication: Higher-Order Program Verification and Language-Based Security