{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:H65YWPGKZV46HOQLI2EZPRQQ2G","short_pith_number":"pith:H65YWPGK","schema_version":"1.0","canonical_sha256":"3fbb8b3ccacd79e3ba0b468997c610d1bcedc55e8c5cb02014e828732865bc6e","source":{"kind":"arxiv","id":"1801.08090","version":4},"attestation_state":"computed","paper":{"title":"An Algebraic Approach for Reasoning About Information Flow","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Annabelle McIver, Arthur Am\\'erico, M\\'ario S. Alvim","submitted_at":"2018-01-24T17:32:46Z","abstract_excerpt":"This paper concerns the analysis of information leaks in security systems. We address the problem of specifying and analyzing large systems in the (standard) channel model used in quantitative information flow (QIF). We propose several operators which match typical interactions between system components. We explore their algebraic properties with respect to the security-preserving refinement relation defined by Alvim et al. and McIver et al.\n  We show how the algebra can be used to simplify large system specifications in order to facilitate the computation of information leakage bounds. We dem"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1801.08090","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-01-24T17:32:46Z","cross_cats_sorted":[],"title_canon_sha256":"c0090c90d98b4abcdb6d1be96e6828b7b366382801d4bf6530616b9bc92623ff","abstract_canon_sha256":"b8b2ef443efacdb1a2f23c286d70b5d7d83a4c5202b3dc2ef6c8c3b9e760a1f7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:11:18.071918Z","signature_b64":"xG1uaO7q1PNHvhyXyd+2Gc99pg4qTkmJ7Xk418i5T+jGt90s43nWu2xnB0S1B0sZqhsw5tJoipo8WygAIjsACw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3fbb8b3ccacd79e3ba0b468997c610d1bcedc55e8c5cb02014e828732865bc6e","last_reissued_at":"2026-05-18T00:11:18.071302Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:11:18.071302Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An Algebraic Approach for Reasoning About Information Flow","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Annabelle McIver, Arthur Am\\'erico, M\\'ario S. Alvim","submitted_at":"2018-01-24T17:32:46Z","abstract_excerpt":"This paper concerns the analysis of information leaks in security systems. We address the problem of specifying and analyzing large systems in the (standard) channel model used in quantitative information flow (QIF). We propose several operators which match typical interactions between system components. We explore their algebraic properties with respect to the security-preserving refinement relation defined by Alvim et al. and McIver et al.\n  We show how the algebra can be used to simplify large system specifications in order to facilitate the computation of information leakage bounds. We dem"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.08090","kind":"arxiv","version":4},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1801.08090","created_at":"2026-05-18T00:11:18.071395+00:00"},{"alias_kind":"arxiv_version","alias_value":"1801.08090v4","created_at":"2026-05-18T00:11:18.071395+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.08090","created_at":"2026-05-18T00:11:18.071395+00:00"},{"alias_kind":"pith_short_12","alias_value":"H65YWPGKZV46","created_at":"2026-05-18T12:32:28.185984+00:00"},{"alias_kind":"pith_short_16","alias_value":"H65YWPGKZV46HOQL","created_at":"2026-05-18T12:32:28.185984+00:00"},{"alias_kind":"pith_short_8","alias_value":"H65YWPGK","created_at":"2026-05-18T12:32:28.185984+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/H65YWPGKZV46HOQLI2EZPRQQ2G","json":"https://pith.science/pith/H65YWPGKZV46HOQLI2EZPRQQ2G.json","graph_json":"https://pith.science/api/pith-number/H65YWPGKZV46HOQLI2EZPRQQ2G/graph.json","events_json":"https://pith.science/api/pith-number/H65YWPGKZV46HOQLI2EZPRQQ2G/events.json","paper":"https://pith.science/paper/H65YWPGK"},"agent_actions":{"view_html":"https://pith.science/pith/H65YWPGKZV46HOQLI2EZPRQQ2G","download_json":"https://pith.science/pith/H65YWPGKZV46HOQLI2EZPRQQ2G.json","view_paper":"https://pith.science/paper/H65YWPGK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1801.08090&json=true","fetch_graph":"https://pith.science/api/pith-number/H65YWPGKZV46HOQLI2EZPRQQ2G/graph.json","fetch_events":"https://pith.science/api/pith-number/H65YWPGKZV46HOQLI2EZPRQQ2G/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/H65YWPGKZV46HOQLI2EZPRQQ2G/action/timestamp_anchor","attest_storage":"https://pith.science/pith/H65YWPGKZV46HOQLI2EZPRQQ2G/action/storage_attestation","attest_author":"https://pith.science/pith/H65YWPGKZV46HOQLI2EZPRQQ2G/action/author_attestation","sign_citation":"https://pith.science/pith/H65YWPGKZV46HOQLI2EZPRQQ2G/action/citation_signature","submit_replication":"https://pith.science/pith/H65YWPGKZV46HOQLI2EZPRQQ2G/action/replication_record"}},"created_at":"2026-05-18T00:11:18.071395+00:00","updated_at":"2026-05-18T00:11:18.071395+00:00"}