{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:ELCDLDBY45YPS376Y3BKZF3KYC","short_pith_number":"pith:ELCDLDBY","canonical_record":{"source":{"id":"1311.4303","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2013-11-18T09:15:41Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"b31903a51a8673e8fd98a00386cafb1d59f18c91c71bf629f5a419d8bb9fa63b","abstract_canon_sha256":"2cd2dfdb81173ebdb911ed0e031100a4d1ec1dfd4854e3fed632c0d96d7bdcd6"},"schema_version":"1.0"},"canonical_sha256":"22c4358c38e770f96ffec6c2ac976ac0b4219c9c1d2b4d856a8b5dbfe2423c0b","source":{"kind":"arxiv","id":"1311.4303","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.4303","created_at":"2026-05-18T01:32:50Z"},{"alias_kind":"arxiv_version","alias_value":"1311.4303v1","created_at":"2026-05-18T01:32:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.4303","created_at":"2026-05-18T01:32:50Z"},{"alias_kind":"pith_short_12","alias_value":"ELCDLDBY45YP","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_16","alias_value":"ELCDLDBY45YPS376","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_8","alias_value":"ELCDLDBY","created_at":"2026-05-18T12:27:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:ELCDLDBY45YPS376Y3BKZF3KYC","target":"record","payload":{"canonical_record":{"source":{"id":"1311.4303","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2013-11-18T09:15:41Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"b31903a51a8673e8fd98a00386cafb1d59f18c91c71bf629f5a419d8bb9fa63b","abstract_canon_sha256":"2cd2dfdb81173ebdb911ed0e031100a4d1ec1dfd4854e3fed632c0d96d7bdcd6"},"schema_version":"1.0"},"canonical_sha256":"22c4358c38e770f96ffec6c2ac976ac0b4219c9c1d2b4d856a8b5dbfe2423c0b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:32:50.936386Z","signature_b64":"nIqAhU4NLZbebH64M89hj3fSmBqlAYk6BBm2W6Pr+LwiEVhDDEFz6idPfEjuAE1WjZpjPgbJbsAB2j846w7iDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"22c4358c38e770f96ffec6c2ac976ac0b4219c9c1d2b4d856a8b5dbfe2423c0b","last_reissued_at":"2026-05-18T01:32:50.935680Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:32:50.935680Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1311.4303","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:32:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jYPM47IT2n4BUKuaWD/9OY90UO+to26JgE0fdWaxcwXyRKqxM4Q93M9wcjigKC0LUNdsDWbqYVyRfTl0mTBRAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T19:56:08.885177Z"},"content_sha256":"4434d7bd40368c4b396039e4057ae27d1c257b4248c81f5e724058de531ba459","schema_version":"1.0","event_id":"sha256:4434d7bd40368c4b396039e4057ae27d1c257b4248c81f5e724058de531ba459"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:ELCDLDBY45YPS376Y3BKZF3KYC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Applying Formal Methods to Networking: Theory, Techniques and Applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.NI","authors_text":"Junaid Qadir, Osman Hasan","submitted_at":"2013-11-18T09:15:41Z","abstract_excerpt":"Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet which began as a research experiment was never designed to handle the users and applications it hosts today. The lack of formalization of the Internet architecture meant limited abstractions and modularity, especially for the control and management planes, thus requiring for every new need a new protocol built from scratch. This led to an unwieldy ossified Internet architecture resistant to any attempts at formal verification, and an Internet culture where expediency"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.4303","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:32:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bromWL5Jgd1WE5duQo7Ej9G4vfmpp3XTHGfrVCIOlnVqugqytBcNF1Kp5VHH6l4oCwzNStPz3Q7UjW16JyRPAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T19:56:08.885548Z"},"content_sha256":"4a6487785ad381cf86c80b0ba2a71f9dceec0180e870d480678776858234b26c","schema_version":"1.0","event_id":"sha256:4a6487785ad381cf86c80b0ba2a71f9dceec0180e870d480678776858234b26c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ELCDLDBY45YPS376Y3BKZF3KYC/bundle.json","state_url":"https://pith.science/pith/ELCDLDBY45YPS376Y3BKZF3KYC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ELCDLDBY45YPS376Y3BKZF3KYC/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-02T19:56:08Z","links":{"resolver":"https://pith.science/pith/ELCDLDBY45YPS376Y3BKZF3KYC","bundle":"https://pith.science/pith/ELCDLDBY45YPS376Y3BKZF3KYC/bundle.json","state":"https://pith.science/pith/ELCDLDBY45YPS376Y3BKZF3KYC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ELCDLDBY45YPS376Y3BKZF3KYC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:ELCDLDBY45YPS376Y3BKZF3KYC","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":"2cd2dfdb81173ebdb911ed0e031100a4d1ec1dfd4854e3fed632c0d96d7bdcd6","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2013-11-18T09:15:41Z","title_canon_sha256":"b31903a51a8673e8fd98a00386cafb1d59f18c91c71bf629f5a419d8bb9fa63b"},"schema_version":"1.0","source":{"id":"1311.4303","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.4303","created_at":"2026-05-18T01:32:50Z"},{"alias_kind":"arxiv_version","alias_value":"1311.4303v1","created_at":"2026-05-18T01:32:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.4303","created_at":"2026-05-18T01:32:50Z"},{"alias_kind":"pith_short_12","alias_value":"ELCDLDBY45YP","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_16","alias_value":"ELCDLDBY45YPS376","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_8","alias_value":"ELCDLDBY","created_at":"2026-05-18T12:27:43Z"}],"graph_snapshots":[{"event_id":"sha256:4a6487785ad381cf86c80b0ba2a71f9dceec0180e870d480678776858234b26c","target":"graph","created_at":"2026-05-18T01:32:50Z","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":"Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet which began as a research experiment was never designed to handle the users and applications it hosts today. The lack of formalization of the Internet architecture meant limited abstractions and modularity, especially for the control and management planes, thus requiring for every new need a new protocol built from scratch. This led to an unwieldy ossified Internet architecture resistant to any attempts at formal verification, and an Internet culture where expediency","authors_text":"Junaid Qadir, Osman Hasan","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2013-11-18T09:15:41Z","title":"Applying Formal Methods to Networking: Theory, Techniques and Applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.4303","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:4434d7bd40368c4b396039e4057ae27d1c257b4248c81f5e724058de531ba459","target":"record","created_at":"2026-05-18T01:32:50Z","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":"2cd2dfdb81173ebdb911ed0e031100a4d1ec1dfd4854e3fed632c0d96d7bdcd6","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2013-11-18T09:15:41Z","title_canon_sha256":"b31903a51a8673e8fd98a00386cafb1d59f18c91c71bf629f5a419d8bb9fa63b"},"schema_version":"1.0","source":{"id":"1311.4303","kind":"arxiv","version":1}},"canonical_sha256":"22c4358c38e770f96ffec6c2ac976ac0b4219c9c1d2b4d856a8b5dbfe2423c0b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"22c4358c38e770f96ffec6c2ac976ac0b4219c9c1d2b4d856a8b5dbfe2423c0b","first_computed_at":"2026-05-18T01:32:50.935680Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:32:50.935680Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nIqAhU4NLZbebH64M89hj3fSmBqlAYk6BBm2W6Pr+LwiEVhDDEFz6idPfEjuAE1WjZpjPgbJbsAB2j846w7iDA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:32:50.936386Z","signed_message":"canonical_sha256_bytes"},"source_id":"1311.4303","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4434d7bd40368c4b396039e4057ae27d1c257b4248c81f5e724058de531ba459","sha256:4a6487785ad381cf86c80b0ba2a71f9dceec0180e870d480678776858234b26c"],"state_sha256":"c9c0f65800548dcc31216553c58d9cedb95805cfe80e1fe6de682eba84e4c74e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nellW1Eqa+6f7ZH30Kci77F0f4Q9DxtPvEHY0SP31JmvElW9ukcSW1syC131WGHe+vXUWcPEJIa85q9BjXd3Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T19:56:08.887559Z","bundle_sha256":"4105386bb98938fc7f70f09f9e0eb4a03cf6794d7c52633cf0cfabaad3163be2"}}