{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:JDULEBDFMW7Q2ST4TC6D3HN326","short_pith_number":"pith:JDULEBDF","canonical_record":{"source":{"id":"1602.03596","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-11T01:20:38Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"fdf789fffb180766c41d27e28496e77c4109fa2a603dd2156c6a8002490b1bc2","abstract_canon_sha256":"a73753dbcfb66de2183663f97851fc97220ba7cdf62e636a4e7d4fbf88dfa5e3"},"schema_version":"1.0"},"canonical_sha256":"48e8b2046565bf0d4a7c98bc3d9dbbd78bd81e732eaff21ad1db34b10f324d72","source":{"kind":"arxiv","id":"1602.03596","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.03596","created_at":"2026-05-18T01:20:57Z"},{"alias_kind":"arxiv_version","alias_value":"1602.03596v1","created_at":"2026-05-18T01:20:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.03596","created_at":"2026-05-18T01:20:57Z"},{"alias_kind":"pith_short_12","alias_value":"JDULEBDFMW7Q","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"JDULEBDFMW7Q2ST4","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"JDULEBDF","created_at":"2026-05-18T12:30:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:JDULEBDFMW7Q2ST4TC6D3HN326","target":"record","payload":{"canonical_record":{"source":{"id":"1602.03596","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-11T01:20:38Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"fdf789fffb180766c41d27e28496e77c4109fa2a603dd2156c6a8002490b1bc2","abstract_canon_sha256":"a73753dbcfb66de2183663f97851fc97220ba7cdf62e636a4e7d4fbf88dfa5e3"},"schema_version":"1.0"},"canonical_sha256":"48e8b2046565bf0d4a7c98bc3d9dbbd78bd81e732eaff21ad1db34b10f324d72","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:20:57.022260Z","signature_b64":"ci1ZwPZm9S68WJdQpWcnONXx26nhTdKnU7j4x+LHfmy16wo9UwxLzVr0bQZ0KIjsZjW0x8nqgZKvIFKu/pQLBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"48e8b2046565bf0d4a7c98bc3d9dbbd78bd81e732eaff21ad1db34b10f324d72","last_reissued_at":"2026-05-18T01:20:57.021849Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:20:57.021849Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1602.03596","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-18T01:20:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fCuoYQyFfe/2UnK5hvRB9mmX8sQEr2xJ5peg06i5FOOmnD8pFOL4vBP/Y9V1560BmuYlBYp0Lz++Aj8mkPo1BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T09:22:00.910659Z"},"content_sha256":"b3476b36c8b26ef81c4769c3077fe24e276cbeb06c45c39b48d9fcd3dab2572a","schema_version":"1.0","event_id":"sha256:b3476b36c8b26ef81c4769c3077fe24e276cbeb06c45c39b48d9fcd3dab2572a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:JDULEBDFMW7Q2ST4TC6D3HN326","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Typed Model for Dynamic Authorizations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Hugo Torres Vieira (IMT Institute for Advanced Studies Lucca, Italy), Jorge A. P\\'erez (University of Groningen, Jovanka Pantovi\\'c (University of Novi Sad, Serbia), Silvia Ghilezan (University of Novi Sad, Svetlana Jak\\v{s}i\\'c (University of Novi Sad, the Netherlands)","submitted_at":"2016-02-11T01:20:38Z","abstract_excerpt":"Security requirements in distributed software systems are inherently dynamic. In the case of authorization policies, resources are meant to be accessed only by authorized parties, but the authorization to access a resource may be dynamically granted/yielded. We describe ongoing work on a model for specifying communication and dynamic authorization handling. We build upon the pi-calculus so as to enrich communication-based systems with authorization specification and delegation; here authorizations regard channel usage and delegation refers to the act of yielding an authorization to another par"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.03596","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-18T01:20:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d/sQj74+Y72aWYq7KJQfcc9c0/f6q2JKitnG4yEj1n9/3nCpKw3ctPCdvlngQC7FzaPTR/Bfe67HR5La9SfFAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T09:22:00.911015Z"},"content_sha256":"649980d3c29d0446d9a57f29d286cb8a781fdb5dbe2115886d48a3314d606158","schema_version":"1.0","event_id":"sha256:649980d3c29d0446d9a57f29d286cb8a781fdb5dbe2115886d48a3314d606158"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JDULEBDFMW7Q2ST4TC6D3HN326/bundle.json","state_url":"https://pith.science/pith/JDULEBDFMW7Q2ST4TC6D3HN326/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JDULEBDFMW7Q2ST4TC6D3HN326/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-06-05T09:22:00Z","links":{"resolver":"https://pith.science/pith/JDULEBDFMW7Q2ST4TC6D3HN326","bundle":"https://pith.science/pith/JDULEBDFMW7Q2ST4TC6D3HN326/bundle.json","state":"https://pith.science/pith/JDULEBDFMW7Q2ST4TC6D3HN326/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JDULEBDFMW7Q2ST4TC6D3HN326/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:JDULEBDFMW7Q2ST4TC6D3HN326","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":"a73753dbcfb66de2183663f97851fc97220ba7cdf62e636a4e7d4fbf88dfa5e3","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-11T01:20:38Z","title_canon_sha256":"fdf789fffb180766c41d27e28496e77c4109fa2a603dd2156c6a8002490b1bc2"},"schema_version":"1.0","source":{"id":"1602.03596","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.03596","created_at":"2026-05-18T01:20:57Z"},{"alias_kind":"arxiv_version","alias_value":"1602.03596v1","created_at":"2026-05-18T01:20:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.03596","created_at":"2026-05-18T01:20:57Z"},{"alias_kind":"pith_short_12","alias_value":"JDULEBDFMW7Q","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"JDULEBDFMW7Q2ST4","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"JDULEBDF","created_at":"2026-05-18T12:30:25Z"}],"graph_snapshots":[{"event_id":"sha256:649980d3c29d0446d9a57f29d286cb8a781fdb5dbe2115886d48a3314d606158","target":"graph","created_at":"2026-05-18T01:20:57Z","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":"Security requirements in distributed software systems are inherently dynamic. In the case of authorization policies, resources are meant to be accessed only by authorized parties, but the authorization to access a resource may be dynamically granted/yielded. We describe ongoing work on a model for specifying communication and dynamic authorization handling. We build upon the pi-calculus so as to enrich communication-based systems with authorization specification and delegation; here authorizations regard channel usage and delegation refers to the act of yielding an authorization to another par","authors_text":"Hugo Torres Vieira (IMT Institute for Advanced Studies Lucca, Italy), Jorge A. P\\'erez (University of Groningen, Jovanka Pantovi\\'c (University of Novi Sad, Serbia), Silvia Ghilezan (University of Novi Sad, Svetlana Jak\\v{s}i\\'c (University of Novi Sad, the Netherlands)","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-11T01:20:38Z","title":"A Typed Model for Dynamic Authorizations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.03596","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:b3476b36c8b26ef81c4769c3077fe24e276cbeb06c45c39b48d9fcd3dab2572a","target":"record","created_at":"2026-05-18T01:20:57Z","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":"a73753dbcfb66de2183663f97851fc97220ba7cdf62e636a4e7d4fbf88dfa5e3","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-11T01:20:38Z","title_canon_sha256":"fdf789fffb180766c41d27e28496e77c4109fa2a603dd2156c6a8002490b1bc2"},"schema_version":"1.0","source":{"id":"1602.03596","kind":"arxiv","version":1}},"canonical_sha256":"48e8b2046565bf0d4a7c98bc3d9dbbd78bd81e732eaff21ad1db34b10f324d72","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"48e8b2046565bf0d4a7c98bc3d9dbbd78bd81e732eaff21ad1db34b10f324d72","first_computed_at":"2026-05-18T01:20:57.021849Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:20:57.021849Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ci1ZwPZm9S68WJdQpWcnONXx26nhTdKnU7j4x+LHfmy16wo9UwxLzVr0bQZ0KIjsZjW0x8nqgZKvIFKu/pQLBw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:20:57.022260Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.03596","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b3476b36c8b26ef81c4769c3077fe24e276cbeb06c45c39b48d9fcd3dab2572a","sha256:649980d3c29d0446d9a57f29d286cb8a781fdb5dbe2115886d48a3314d606158"],"state_sha256":"9e542595e64f593d6b14255c103d075d23bd07cde6cca62ce50ddceebb39a071"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ficvy09AKb85CVnVKDvNq89eJkny3/bMrFsYV99ByY76vyXxED27Od6vaSX5sd6Td+eb/HbcgF2miPmWSvUwBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T09:22:00.912974Z","bundle_sha256":"7c237e51e3d28bdd521f03b78ae5e560f1965a6b886c0d6c87533272a3fba05f"}}