{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:PXAZNV5FL2DYQWE3MMVAN5TWDN","short_pith_number":"pith:PXAZNV5F","canonical_record":{"source":{"id":"1311.2362","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-11-11T06:21:29Z","cross_cats_sorted":["cs.CR","cs.OS"],"title_canon_sha256":"d1a2db95d03a153d43564fedf14ece5d81951f9e528f5cdc2ea0c116a28f6023","abstract_canon_sha256":"cf9bd937bda643a4ad87b39c7f70b129d9c015f918a8970378f9b29e2c5bc778"},"schema_version":"1.0"},"canonical_sha256":"7dc196d7a55e8788589b632a06f6761b4774ba02415ce3afb945cbdc82464e44","source":{"kind":"arxiv","id":"1311.2362","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.2362","created_at":"2026-05-18T03:07:32Z"},{"alias_kind":"arxiv_version","alias_value":"1311.2362v1","created_at":"2026-05-18T03:07:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.2362","created_at":"2026-05-18T03:07:32Z"},{"alias_kind":"pith_short_12","alias_value":"PXAZNV5FL2DY","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"PXAZNV5FL2DYQWE3","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"PXAZNV5F","created_at":"2026-05-18T12:27:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:PXAZNV5FL2DYQWE3MMVAN5TWDN","target":"record","payload":{"canonical_record":{"source":{"id":"1311.2362","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-11-11T06:21:29Z","cross_cats_sorted":["cs.CR","cs.OS"],"title_canon_sha256":"d1a2db95d03a153d43564fedf14ece5d81951f9e528f5cdc2ea0c116a28f6023","abstract_canon_sha256":"cf9bd937bda643a4ad87b39c7f70b129d9c015f918a8970378f9b29e2c5bc778"},"schema_version":"1.0"},"canonical_sha256":"7dc196d7a55e8788589b632a06f6761b4774ba02415ce3afb945cbdc82464e44","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:07:32.848987Z","signature_b64":"8CJE7jJmdB1dMwXfNsvlxl7LxxOZIIvX0MJ8TKYvu0GFH0VZ0HIaljcH9ASWklrrdoC2uKFE7huIoieRgQXsAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7dc196d7a55e8788589b632a06f6761b4774ba02415ce3afb945cbdc82464e44","last_reissued_at":"2026-05-18T03:07:32.848405Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:07:32.848405Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1311.2362","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:07:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WxmItczJfFZb6cfFrkqPSKF4h6HuKcvKC13WFBpx0tgeTyElWBJjDFUdHPGLFoEeizCZ7/vrlDze75j3Ta+wBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T16:58:43.036230Z"},"content_sha256":"6e53d685f14c80fe32a0c5440ea3b2ee8b216a5bc4be3ecfcfd2945923615d29","schema_version":"1.0","event_id":"sha256:6e53d685f14c80fe32a0c5440ea3b2ee8b216a5bc4be3ecfcfd2945923615d29"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:PXAZNV5FL2DYQWE3MMVAN5TWDN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR","cs.OS"],"primary_cat":"cs.LO","authors_text":"Alwen Tiu, Hendra Gunadi","submitted_at":"2013-11-11T06:21:29Z","abstract_excerpt":"We present a design and an implementation of a security policy specification language based on metric linear-time temporal logic (MTL). MTL features temporal operators that are indexed by time intervals, allowing one to specify timing-dependent security policies. The design of the language is driven by the problem of runtime monitoring of applications in mobile devices. A main case the study is the privilege escalation attack in the Android operating system, where an app gains access to certain resource or functionalities that are not explicitly granted to it by the user, through indirect cont"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.2362","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:07:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n1cW5y8XuLULifLL+lrTmD790eeCZF7Sqn0QdJgHaV4wTGO0f4jHb3xk7uVcNI+farOB0QKRxCam5KAZ6Q4fDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T16:58:43.036929Z"},"content_sha256":"a1f6267d3f70e5899efe65c5c394becbd6e6ac60154c6affbc35df37c65faf3b","schema_version":"1.0","event_id":"sha256:a1f6267d3f70e5899efe65c5c394becbd6e6ac60154c6affbc35df37c65faf3b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PXAZNV5FL2DYQWE3MMVAN5TWDN/bundle.json","state_url":"https://pith.science/pith/PXAZNV5FL2DYQWE3MMVAN5TWDN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PXAZNV5FL2DYQWE3MMVAN5TWDN/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-26T16:58:43Z","links":{"resolver":"https://pith.science/pith/PXAZNV5FL2DYQWE3MMVAN5TWDN","bundle":"https://pith.science/pith/PXAZNV5FL2DYQWE3MMVAN5TWDN/bundle.json","state":"https://pith.science/pith/PXAZNV5FL2DYQWE3MMVAN5TWDN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PXAZNV5FL2DYQWE3MMVAN5TWDN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:PXAZNV5FL2DYQWE3MMVAN5TWDN","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"cf9bd937bda643a4ad87b39c7f70b129d9c015f918a8970378f9b29e2c5bc778","cross_cats_sorted":["cs.CR","cs.OS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-11-11T06:21:29Z","title_canon_sha256":"d1a2db95d03a153d43564fedf14ece5d81951f9e528f5cdc2ea0c116a28f6023"},"schema_version":"1.0","source":{"id":"1311.2362","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.2362","created_at":"2026-05-18T03:07:32Z"},{"alias_kind":"arxiv_version","alias_value":"1311.2362v1","created_at":"2026-05-18T03:07:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.2362","created_at":"2026-05-18T03:07:32Z"},{"alias_kind":"pith_short_12","alias_value":"PXAZNV5FL2DY","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"PXAZNV5FL2DYQWE3","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"PXAZNV5F","created_at":"2026-05-18T12:27:57Z"}],"graph_snapshots":[{"event_id":"sha256:a1f6267d3f70e5899efe65c5c394becbd6e6ac60154c6affbc35df37c65faf3b","target":"graph","created_at":"2026-05-18T03:07:32Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We present a design and an implementation of a security policy specification language based on metric linear-time temporal logic (MTL). MTL features temporal operators that are indexed by time intervals, allowing one to specify timing-dependent security policies. The design of the language is driven by the problem of runtime monitoring of applications in mobile devices. A main case the study is the privilege escalation attack in the Android operating system, where an app gains access to certain resource or functionalities that are not explicitly granted to it by the user, through indirect cont","authors_text":"Alwen Tiu, Hendra Gunadi","cross_cats":["cs.CR","cs.OS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-11-11T06:21:29Z","title":"Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.2362","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:6e53d685f14c80fe32a0c5440ea3b2ee8b216a5bc4be3ecfcfd2945923615d29","target":"record","created_at":"2026-05-18T03:07:32Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"cf9bd937bda643a4ad87b39c7f70b129d9c015f918a8970378f9b29e2c5bc778","cross_cats_sorted":["cs.CR","cs.OS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-11-11T06:21:29Z","title_canon_sha256":"d1a2db95d03a153d43564fedf14ece5d81951f9e528f5cdc2ea0c116a28f6023"},"schema_version":"1.0","source":{"id":"1311.2362","kind":"arxiv","version":1}},"canonical_sha256":"7dc196d7a55e8788589b632a06f6761b4774ba02415ce3afb945cbdc82464e44","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7dc196d7a55e8788589b632a06f6761b4774ba02415ce3afb945cbdc82464e44","first_computed_at":"2026-05-18T03:07:32.848405Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:07:32.848405Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8CJE7jJmdB1dMwXfNsvlxl7LxxOZIIvX0MJ8TKYvu0GFH0VZ0HIaljcH9ASWklrrdoC2uKFE7huIoieRgQXsAg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:07:32.848987Z","signed_message":"canonical_sha256_bytes"},"source_id":"1311.2362","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6e53d685f14c80fe32a0c5440ea3b2ee8b216a5bc4be3ecfcfd2945923615d29","sha256:a1f6267d3f70e5899efe65c5c394becbd6e6ac60154c6affbc35df37c65faf3b"],"state_sha256":"65b888e0dedd8a4523aa694a0905bf0e1b51d6970b26c8a69e9a8c4aeea74484"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YfhV11Xv4SMJcfAb2JCHurbG9rze9+8onxzlW8r7kicMRaa35uw2Ol7ajgQ5QgW4bx6LhVDvDyEgOxRu684QBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T16:58:43.040216Z","bundle_sha256":"3179c46112af41383b43bef3c15aab7150bdcc023ca754c82e572752d28a3fdf"}}