{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:ANWIDR7RNSBPP2VG4RLDSUHZBT","short_pith_number":"pith:ANWIDR7R","schema_version":"1.0","canonical_sha256":"036c81c7f16c82f7eaa6e4563950f90cf1230170e4871bb55af38837b6c41dbf","source":{"kind":"arxiv","id":"1111.6808","version":1},"attestation_state":"computed","paper":{"title":"Packet flow analysis in IP networks via abstract interpretation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.NI","authors_text":"Deva P. Seetharam, K. Vasanta Lakshmi, Raghavan Komondoor, Sudha Balodia","submitted_at":"2011-11-29T13:27:26Z","abstract_excerpt":"Static analysis (aka offline analysis) of a model of an IP network is useful for understanding, debugging, and verifying packet flow properties of the network. There have been static analysis approaches proposed in the literature for networks based on model checking as well as graph reachability. Abstract interpretation is a method that has typically been applied to static analysis of programs. We propose a new, abstract-interpretation based approach for analysis of networks. We formalize our approach, mention its correctness guarantee, and demonstrate its flexibility in addressing multiple ne"},"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":"1111.6808","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2011-11-29T13:27:26Z","cross_cats_sorted":[],"title_canon_sha256":"bbc87cc74c278a1685254fa47bc02b7727862e3fa4cd207032d223e58a8e506b","abstract_canon_sha256":"601bf44d711a3b523cebefe980767d800cfe8dcf7dc7d991821082a4252dd2e5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:07:28.523812Z","signature_b64":"at8/xt1n+RDviOzE883/bIG/WNs0aAsefJcZsWpfx/oL+QfgGJ9NDVmdY6AnaRWRfpaHWNyNilmygvtouROSDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"036c81c7f16c82f7eaa6e4563950f90cf1230170e4871bb55af38837b6c41dbf","last_reissued_at":"2026-05-18T04:07:28.523418Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:07:28.523418Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Packet flow analysis in IP networks via abstract interpretation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.NI","authors_text":"Deva P. Seetharam, K. Vasanta Lakshmi, Raghavan Komondoor, Sudha Balodia","submitted_at":"2011-11-29T13:27:26Z","abstract_excerpt":"Static analysis (aka offline analysis) of a model of an IP network is useful for understanding, debugging, and verifying packet flow properties of the network. There have been static analysis approaches proposed in the literature for networks based on model checking as well as graph reachability. Abstract interpretation is a method that has typically been applied to static analysis of programs. We propose a new, abstract-interpretation based approach for analysis of networks. We formalize our approach, mention its correctness guarantee, and demonstrate its flexibility in addressing multiple ne"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1111.6808","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":"1111.6808","created_at":"2026-05-18T04:07:28.523475+00:00"},{"alias_kind":"arxiv_version","alias_value":"1111.6808v1","created_at":"2026-05-18T04:07:28.523475+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1111.6808","created_at":"2026-05-18T04:07:28.523475+00:00"},{"alias_kind":"pith_short_12","alias_value":"ANWIDR7RNSBP","created_at":"2026-05-18T12:26:24.575870+00:00"},{"alias_kind":"pith_short_16","alias_value":"ANWIDR7RNSBPP2VG","created_at":"2026-05-18T12:26:24.575870+00:00"},{"alias_kind":"pith_short_8","alias_value":"ANWIDR7R","created_at":"2026-05-18T12:26:24.575870+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/ANWIDR7RNSBPP2VG4RLDSUHZBT","json":"https://pith.science/pith/ANWIDR7RNSBPP2VG4RLDSUHZBT.json","graph_json":"https://pith.science/api/pith-number/ANWIDR7RNSBPP2VG4RLDSUHZBT/graph.json","events_json":"https://pith.science/api/pith-number/ANWIDR7RNSBPP2VG4RLDSUHZBT/events.json","paper":"https://pith.science/paper/ANWIDR7R"},"agent_actions":{"view_html":"https://pith.science/pith/ANWIDR7RNSBPP2VG4RLDSUHZBT","download_json":"https://pith.science/pith/ANWIDR7RNSBPP2VG4RLDSUHZBT.json","view_paper":"https://pith.science/paper/ANWIDR7R","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1111.6808&json=true","fetch_graph":"https://pith.science/api/pith-number/ANWIDR7RNSBPP2VG4RLDSUHZBT/graph.json","fetch_events":"https://pith.science/api/pith-number/ANWIDR7RNSBPP2VG4RLDSUHZBT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ANWIDR7RNSBPP2VG4RLDSUHZBT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ANWIDR7RNSBPP2VG4RLDSUHZBT/action/storage_attestation","attest_author":"https://pith.science/pith/ANWIDR7RNSBPP2VG4RLDSUHZBT/action/author_attestation","sign_citation":"https://pith.science/pith/ANWIDR7RNSBPP2VG4RLDSUHZBT/action/citation_signature","submit_replication":"https://pith.science/pith/ANWIDR7RNSBPP2VG4RLDSUHZBT/action/replication_record"}},"created_at":"2026-05-18T04:07:28.523475+00:00","updated_at":"2026-05-18T04:07:28.523475+00:00"}