{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:PXAZNV5FL2DYQWE3MMVAN5TWDN","short_pith_number":"pith:PXAZNV5F","schema_version":"1.0","canonical_sha256":"7dc196d7a55e8788589b632a06f6761b4774ba02415ce3afb945cbdc82464e44","source":{"kind":"arxiv","id":"1311.2362","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1311.2362","created_at":"2026-05-18T03:07:32.848489+00:00"},{"alias_kind":"arxiv_version","alias_value":"1311.2362v1","created_at":"2026-05-18T03:07:32.848489+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.2362","created_at":"2026-05-18T03:07:32.848489+00:00"},{"alias_kind":"pith_short_12","alias_value":"PXAZNV5FL2DY","created_at":"2026-05-18T12:27:57.521954+00:00"},{"alias_kind":"pith_short_16","alias_value":"PXAZNV5FL2DYQWE3","created_at":"2026-05-18T12:27:57.521954+00:00"},{"alias_kind":"pith_short_8","alias_value":"PXAZNV5F","created_at":"2026-05-18T12:27:57.521954+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/PXAZNV5FL2DYQWE3MMVAN5TWDN","json":"https://pith.science/pith/PXAZNV5FL2DYQWE3MMVAN5TWDN.json","graph_json":"https://pith.science/api/pith-number/PXAZNV5FL2DYQWE3MMVAN5TWDN/graph.json","events_json":"https://pith.science/api/pith-number/PXAZNV5FL2DYQWE3MMVAN5TWDN/events.json","paper":"https://pith.science/paper/PXAZNV5F"},"agent_actions":{"view_html":"https://pith.science/pith/PXAZNV5FL2DYQWE3MMVAN5TWDN","download_json":"https://pith.science/pith/PXAZNV5FL2DYQWE3MMVAN5TWDN.json","view_paper":"https://pith.science/paper/PXAZNV5F","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1311.2362&json=true","fetch_graph":"https://pith.science/api/pith-number/PXAZNV5FL2DYQWE3MMVAN5TWDN/graph.json","fetch_events":"https://pith.science/api/pith-number/PXAZNV5FL2DYQWE3MMVAN5TWDN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PXAZNV5FL2DYQWE3MMVAN5TWDN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PXAZNV5FL2DYQWE3MMVAN5TWDN/action/storage_attestation","attest_author":"https://pith.science/pith/PXAZNV5FL2DYQWE3MMVAN5TWDN/action/author_attestation","sign_citation":"https://pith.science/pith/PXAZNV5FL2DYQWE3MMVAN5TWDN/action/citation_signature","submit_replication":"https://pith.science/pith/PXAZNV5FL2DYQWE3MMVAN5TWDN/action/replication_record"}},"created_at":"2026-05-18T03:07:32.848489+00:00","updated_at":"2026-05-18T03:07:32.848489+00:00"}