{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:ZX75T633QSYNLLRQWURL5IHGHM","short_pith_number":"pith:ZX75T633","schema_version":"1.0","canonical_sha256":"cdffd9fb7b84b0d5ae30b522bea0e63b309af9a1868ff5609cdfea78f64fc05c","source":{"kind":"arxiv","id":"1905.04332","version":1},"attestation_state":"computed","paper":{"title":"Quantifying information flow in interactive systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR","cs.IT","math.IT"],"primary_cat":"cs.LO","authors_text":"David Mestel","submitted_at":"2019-05-10T18:24:56Z","abstract_excerpt":"We consider the problem of quantifying information flow in interactive systems, modelled as finite-state transducers in the style of Goguen and Meseguer. Our main result is that if the system is deterministic then the information flow is either logarithmic or linear, and there is a polynomial-time algorithm to distinguish the two cases and compute the rate of logarithmic flow. To achieve this we first extend the theory of information leakage through channels to the case of interactive systems, and establish a number of results which greatly simplify computation. We then show that for determini"},"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":"1905.04332","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-05-10T18:24:56Z","cross_cats_sorted":["cs.CR","cs.IT","math.IT"],"title_canon_sha256":"9932bb4194118b94e74386e77ecc369872fce0332e55295ffa719663b91d3aba","abstract_canon_sha256":"e017ba3f0d0cc81244f836dd1d4b83d734dd801603f6b1060e27373dbf5dcb02"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:25.315430Z","signature_b64":"3DKNxOtuziHtKeZS++OB6sEDFJiDN1q3RQgwXTGUpdUcYqHxzgZCO/yq+P7jtJenJdXvSsErXNG+dAUcu+4ABA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cdffd9fb7b84b0d5ae30b522bea0e63b309af9a1868ff5609cdfea78f64fc05c","last_reissued_at":"2026-05-17T23:46:25.314732Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:25.314732Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Quantifying information flow in interactive systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR","cs.IT","math.IT"],"primary_cat":"cs.LO","authors_text":"David Mestel","submitted_at":"2019-05-10T18:24:56Z","abstract_excerpt":"We consider the problem of quantifying information flow in interactive systems, modelled as finite-state transducers in the style of Goguen and Meseguer. Our main result is that if the system is deterministic then the information flow is either logarithmic or linear, and there is a polynomial-time algorithm to distinguish the two cases and compute the rate of logarithmic flow. To achieve this we first extend the theory of information leakage through channels to the case of interactive systems, and establish a number of results which greatly simplify computation. We then show that for determini"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.04332","kind":"arxiv","version":1},"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":"1905.04332","created_at":"2026-05-17T23:46:25.314836+00:00"},{"alias_kind":"arxiv_version","alias_value":"1905.04332v1","created_at":"2026-05-17T23:46:25.314836+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.04332","created_at":"2026-05-17T23:46:25.314836+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZX75T633QSYN","created_at":"2026-05-18T12:33:33.725879+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZX75T633QSYNLLRQ","created_at":"2026-05-18T12:33:33.725879+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZX75T633","created_at":"2026-05-18T12:33:33.725879+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/ZX75T633QSYNLLRQWURL5IHGHM","json":"https://pith.science/pith/ZX75T633QSYNLLRQWURL5IHGHM.json","graph_json":"https://pith.science/api/pith-number/ZX75T633QSYNLLRQWURL5IHGHM/graph.json","events_json":"https://pith.science/api/pith-number/ZX75T633QSYNLLRQWURL5IHGHM/events.json","paper":"https://pith.science/paper/ZX75T633"},"agent_actions":{"view_html":"https://pith.science/pith/ZX75T633QSYNLLRQWURL5IHGHM","download_json":"https://pith.science/pith/ZX75T633QSYNLLRQWURL5IHGHM.json","view_paper":"https://pith.science/paper/ZX75T633","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1905.04332&json=true","fetch_graph":"https://pith.science/api/pith-number/ZX75T633QSYNLLRQWURL5IHGHM/graph.json","fetch_events":"https://pith.science/api/pith-number/ZX75T633QSYNLLRQWURL5IHGHM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZX75T633QSYNLLRQWURL5IHGHM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZX75T633QSYNLLRQWURL5IHGHM/action/storage_attestation","attest_author":"https://pith.science/pith/ZX75T633QSYNLLRQWURL5IHGHM/action/author_attestation","sign_citation":"https://pith.science/pith/ZX75T633QSYNLLRQWURL5IHGHM/action/citation_signature","submit_replication":"https://pith.science/pith/ZX75T633QSYNLLRQWURL5IHGHM/action/replication_record"}},"created_at":"2026-05-17T23:46:25.314836+00:00","updated_at":"2026-05-17T23:46:25.314836+00:00"}