Work

Quantitative information flow as safety and liveness hyperproperties

Year: 2013

Type: article

Source: Theoretical Computer Science

DOI: 10.1016/j.tcs.2013.07.031

Authors: Hirotoshi Yasuoka, Tachio Terauchi

Institutions: Tohoku University, Nagoya University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: Ministry of Education, Culture, Sports, Science and Technology, Japan Society for the Promotion of Science

Awards: G3749170954, Higher-Order Model Checking and its Applications, Verification of Quantitative Information Flow, Formal Verification of Higher-Order Open Systems, Large scale verification of higher-order programs

OpenAlex ID: W2963472894

FWCI: 0.812

Cites: 41

Cited by: 22

Related to: 10