{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:7QPGEEBSAF5M7HVXQV4L6W4VX3","short_pith_number":"pith:7QPGEEBS","canonical_record":{"source":{"id":"1806.09476","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-06-25T14:07:43Z","cross_cats_sorted":[],"title_canon_sha256":"4259fed2b485a5f48e2fa96da6a9ad0a1950da2a20a96d5a8800219d99b74652","abstract_canon_sha256":"87d3f9add0fe2072224cad61ee5286eec4334b4190bd989cacfed6144cd32d90"},"schema_version":"1.0"},"canonical_sha256":"fc1e621032017acf9eb78578bf5b95bee51f0929838989578288a980c80fe790","source":{"kind":"arxiv","id":"1806.09476","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.09476","created_at":"2026-05-18T00:12:27Z"},{"alias_kind":"arxiv_version","alias_value":"1806.09476v1","created_at":"2026-05-18T00:12:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.09476","created_at":"2026-05-18T00:12:27Z"},{"alias_kind":"pith_short_12","alias_value":"7QPGEEBSAF5M","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"7QPGEEBSAF5M7HVX","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"7QPGEEBS","created_at":"2026-05-18T12:32:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:7QPGEEBSAF5M7HVXQV4L6W4VX3","target":"record","payload":{"canonical_record":{"source":{"id":"1806.09476","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-06-25T14:07:43Z","cross_cats_sorted":[],"title_canon_sha256":"4259fed2b485a5f48e2fa96da6a9ad0a1950da2a20a96d5a8800219d99b74652","abstract_canon_sha256":"87d3f9add0fe2072224cad61ee5286eec4334b4190bd989cacfed6144cd32d90"},"schema_version":"1.0"},"canonical_sha256":"fc1e621032017acf9eb78578bf5b95bee51f0929838989578288a980c80fe790","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:12:27.163614Z","signature_b64":"tXrN8QDpxrWGTUCkok3+8v15PvomdwWp77hvRHDKCXy/ZWPDLlLp/0exc7/a56l08GxDqLGSP/3HibYNPYOXCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fc1e621032017acf9eb78578bf5b95bee51f0929838989578288a980c80fe790","last_reissued_at":"2026-05-18T00:12:27.163067Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:12:27.163067Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1806.09476","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-18T00:12:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q2Y2sV66m7GAAGI0U8eZ1qObCd8wD+Vnim9I3meVxgOyRiFKirQVW4+/YilrsiJPq0FHTcfPxxY+WwuvN+VYBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T21:49:59.016617Z"},"content_sha256":"ae42dc5cd39bfd96e3a86c56cdd996f4d4ac076dd0af01942f3537ae176ef092","schema_version":"1.0","event_id":"sha256:ae42dc5cd39bfd96e3a86c56cdd996f4d4ac076dd0af01942f3537ae176ef092"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:7QPGEEBSAF5M7HVXQV4L6W4VX3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Building Correct SDN-Based Components from a Global Formal Mode","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Christian Attiogb\\'e","submitted_at":"2018-06-25T14:07:43Z","abstract_excerpt":"Software Defined Networking (SDN) brings flexibility in the construction and managment of distributed applications by reducing the constraints imposed by physical networks and by moving the control of networks closer to the applications. However mastering SDN still poses numerous challenges among which the design of correct SDN components (more specifically controller and switches). In this work we use a formal stepwise approach to model and reason on SDN. Although formal approaches have already been used in this area, this contribution is the first state-based approach; it is based on the Eve"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.09476","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-18T00:12:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gFvGudkjffaNmuB0TA/1MiVY77RuBR62TLujecoEIvCDDWpCNbya/6XNUzrhHwz26AB72koWgKsac3eCuoccDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T21:49:59.016965Z"},"content_sha256":"39b96af2899af4a6174061dffe1eca10b0152860c305d2fa03d8738412c29b01","schema_version":"1.0","event_id":"sha256:39b96af2899af4a6174061dffe1eca10b0152860c305d2fa03d8738412c29b01"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7QPGEEBSAF5M7HVXQV4L6W4VX3/bundle.json","state_url":"https://pith.science/pith/7QPGEEBSAF5M7HVXQV4L6W4VX3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7QPGEEBSAF5M7HVXQV4L6W4VX3/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-07-02T21:49:59Z","links":{"resolver":"https://pith.science/pith/7QPGEEBSAF5M7HVXQV4L6W4VX3","bundle":"https://pith.science/pith/7QPGEEBSAF5M7HVXQV4L6W4VX3/bundle.json","state":"https://pith.science/pith/7QPGEEBSAF5M7HVXQV4L6W4VX3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7QPGEEBSAF5M7HVXQV4L6W4VX3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:7QPGEEBSAF5M7HVXQV4L6W4VX3","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":"87d3f9add0fe2072224cad61ee5286eec4334b4190bd989cacfed6144cd32d90","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-06-25T14:07:43Z","title_canon_sha256":"4259fed2b485a5f48e2fa96da6a9ad0a1950da2a20a96d5a8800219d99b74652"},"schema_version":"1.0","source":{"id":"1806.09476","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.09476","created_at":"2026-05-18T00:12:27Z"},{"alias_kind":"arxiv_version","alias_value":"1806.09476v1","created_at":"2026-05-18T00:12:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.09476","created_at":"2026-05-18T00:12:27Z"},{"alias_kind":"pith_short_12","alias_value":"7QPGEEBSAF5M","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"7QPGEEBSAF5M7HVX","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"7QPGEEBS","created_at":"2026-05-18T12:32:11Z"}],"graph_snapshots":[{"event_id":"sha256:39b96af2899af4a6174061dffe1eca10b0152860c305d2fa03d8738412c29b01","target":"graph","created_at":"2026-05-18T00:12:27Z","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":"Software Defined Networking (SDN) brings flexibility in the construction and managment of distributed applications by reducing the constraints imposed by physical networks and by moving the control of networks closer to the applications. However mastering SDN still poses numerous challenges among which the design of correct SDN components (more specifically controller and switches). In this work we use a formal stepwise approach to model and reason on SDN. Although formal approaches have already been used in this area, this contribution is the first state-based approach; it is based on the Eve","authors_text":"Christian Attiogb\\'e","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-06-25T14:07:43Z","title":"Building Correct SDN-Based Components from a Global Formal Mode"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.09476","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:ae42dc5cd39bfd96e3a86c56cdd996f4d4ac076dd0af01942f3537ae176ef092","target":"record","created_at":"2026-05-18T00:12:27Z","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":"87d3f9add0fe2072224cad61ee5286eec4334b4190bd989cacfed6144cd32d90","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-06-25T14:07:43Z","title_canon_sha256":"4259fed2b485a5f48e2fa96da6a9ad0a1950da2a20a96d5a8800219d99b74652"},"schema_version":"1.0","source":{"id":"1806.09476","kind":"arxiv","version":1}},"canonical_sha256":"fc1e621032017acf9eb78578bf5b95bee51f0929838989578288a980c80fe790","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fc1e621032017acf9eb78578bf5b95bee51f0929838989578288a980c80fe790","first_computed_at":"2026-05-18T00:12:27.163067Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:12:27.163067Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tXrN8QDpxrWGTUCkok3+8v15PvomdwWp77hvRHDKCXy/ZWPDLlLp/0exc7/a56l08GxDqLGSP/3HibYNPYOXCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:12:27.163614Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.09476","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ae42dc5cd39bfd96e3a86c56cdd996f4d4ac076dd0af01942f3537ae176ef092","sha256:39b96af2899af4a6174061dffe1eca10b0152860c305d2fa03d8738412c29b01"],"state_sha256":"c858119ce2d5c14e080c7633771fbff716ea0581bf74dd69ec3a13ff78946280"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"42rNYkgfuARP0JlOXUHMRVy5y+NXBBr6t3oQcU29iFOdUYXX4sQi9SCNsW2QAuIJNhNxX2kiCf5U3nyiMbL+Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-02T21:49:59.018765Z","bundle_sha256":"0f051c88f2c3b9e37cac63103cde3ef13bf4157ab5dc194db631e691b6a66a8f"}}