{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:YRNZK4M7CBRWUT2SGAJE7SRZR7","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":"93699d21afb7594460f179a2b7086283f4919520d84ef2f9efa63b2ae2433ae3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2017-10-15T00:35:16Z","title_canon_sha256":"8eabe84bf7fd3dc49da6d8abbeb20c36a8416a0316604683d662236676af15d8"},"schema_version":"1.0","source":{"id":"1710.05252","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.05252","created_at":"2026-05-18T00:32:53Z"},{"alias_kind":"arxiv_version","alias_value":"1710.05252v1","created_at":"2026-05-18T00:32:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.05252","created_at":"2026-05-18T00:32:53Z"},{"alias_kind":"pith_short_12","alias_value":"YRNZK4M7CBRW","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_16","alias_value":"YRNZK4M7CBRWUT2S","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_8","alias_value":"YRNZK4M7","created_at":"2026-05-18T12:31:56Z"}],"graph_snapshots":[{"event_id":"sha256:28c9429a6c19c0df77ccf4bd829da501d7652ab9e89744d48d2267394a944336","target":"graph","created_at":"2026-05-18T00:32:53Z","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":"Unlike traditional networks which are statically configured, SDN control applications are dynamic and are becoming more heterogeneous and complex. There is a great need for a framework to reason about the behavior of the various SDN applications. To the best of our knowledge, current network modeling frameworks were not designed to incorporate the application logic into their models, and thus can not be used to accurately model the application. In this paper, we suggest the possibility of leveraging the impact which control applications assert on the network information base to reason about th","authors_text":"Ashraf Matrawy, Mohamed Aslan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2017-10-15T00:35:16Z","title":"Modeling and Analysis of SDN Control Applications using Vector Spaces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.05252","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:2294e5221534da95a1cd31810ed57582259fc3caa62a5d3d0a77d9356eff6687","target":"record","created_at":"2026-05-18T00:32:53Z","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":"93699d21afb7594460f179a2b7086283f4919520d84ef2f9efa63b2ae2433ae3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2017-10-15T00:35:16Z","title_canon_sha256":"8eabe84bf7fd3dc49da6d8abbeb20c36a8416a0316604683d662236676af15d8"},"schema_version":"1.0","source":{"id":"1710.05252","kind":"arxiv","version":1}},"canonical_sha256":"c45b95719f10636a4f5230124fca398ff20e34bb65aa3e1e62f673177e33a607","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c45b95719f10636a4f5230124fca398ff20e34bb65aa3e1e62f673177e33a607","first_computed_at":"2026-05-18T00:32:53.852098Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:32:53.852098Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"t34GDm2vrUNqt3XG+H16C9to9ah40SSEtZM7e2fVBKiuluWWDeRjoBn8cjZKSzsoZrd53sZMaBP8LK59pOmjAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:32:53.852946Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.05252","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2294e5221534da95a1cd31810ed57582259fc3caa62a5d3d0a77d9356eff6687","sha256:28c9429a6c19c0df77ccf4bd829da501d7652ab9e89744d48d2267394a944336"],"state_sha256":"2d7ab3c0fe6747811295a1c852284c365e505af54652c9cdc72b1be1f653539d"}