{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:X3OONH5WQ4ZFADWFUJQBUI3IF5","short_pith_number":"pith:X3OONH5W","canonical_record":{"source":{"id":"1708.02175","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-08-07T15:53:32Z","cross_cats_sorted":[],"title_canon_sha256":"004fed63c5b173001be7b9dca79c3e8ded94caa8c02166a8cb9d4b9efe8c3e73","abstract_canon_sha256":"2471326ce18d43b748027b9b5e6ffb106ed313737bca09bb2e230a6df0eb2506"},"schema_version":"1.0"},"canonical_sha256":"bedce69fb68732500ec5a2601a23682f61fddbdf1132969a030a468e31452747","source":{"kind":"arxiv","id":"1708.02175","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.02175","created_at":"2026-05-18T00:38:31Z"},{"alias_kind":"arxiv_version","alias_value":"1708.02175v1","created_at":"2026-05-18T00:38:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.02175","created_at":"2026-05-18T00:38:31Z"},{"alias_kind":"pith_short_12","alias_value":"X3OONH5WQ4ZF","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"X3OONH5WQ4ZFADWF","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"X3OONH5W","created_at":"2026-05-18T12:31:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:X3OONH5WQ4ZFADWFUJQBUI3IF5","target":"record","payload":{"canonical_record":{"source":{"id":"1708.02175","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-08-07T15:53:32Z","cross_cats_sorted":[],"title_canon_sha256":"004fed63c5b173001be7b9dca79c3e8ded94caa8c02166a8cb9d4b9efe8c3e73","abstract_canon_sha256":"2471326ce18d43b748027b9b5e6ffb106ed313737bca09bb2e230a6df0eb2506"},"schema_version":"1.0"},"canonical_sha256":"bedce69fb68732500ec5a2601a23682f61fddbdf1132969a030a468e31452747","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:38:31.859842Z","signature_b64":"aml39/WyMgNfySm2mAZLyTaCiE5Kg634Bg6FUrr3kFIMDf/UC7JCJywgdbKngX1fdAbIDVJGmso/Ah20Hs7/Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bedce69fb68732500ec5a2601a23682f61fddbdf1132969a030a468e31452747","last_reissued_at":"2026-05-18T00:38:31.859427Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:38:31.859427Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1708.02175","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:38:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VY2ny0X8NgFyrqy/8K2EIgCsmt2R4DJ7Gx5yhVNTqORENWP1LvKMcgBzZ/JdNU6dng1rD9JwSqMqoPNqtVLsAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T08:38:20.114797Z"},"content_sha256":"ac6cf6583651a373536c8ffc80392f4acd7e3532909723081440a18f5237c183","schema_version":"1.0","event_id":"sha256:ac6cf6583651a373536c8ffc80392f4acd7e3532909723081440a18f5237c183"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:X3OONH5WQ4ZFADWFUJQBUI3IF5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Classification and Analysis of Communication Protection Policy Anomalies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Antonio Lioy, Cataldo Basile, Daniele Canavese, Fulvio Valenza","submitted_at":"2017-08-07T15:53:32Z","abstract_excerpt":"This paper presents a classification of the anomalies that can appear when designing or implementing communication protection policies. Together with the already known intra- and inter-policy anomaly types, we introduce a novel category, the inter-technology anomalies, related to security controls implementing different technologies, both within the same network node and among different network nodes. Through an empirical assessment, we prove the practical significance of detecting this new anomaly class. Furthermore, this paper introduces a formal model, based on first-order logic rules that "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.02175","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:38:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ku/LK74HwQeNjYp7Da//iEjkgsH+RMsRVeMBnlRtPidTh8CjijKAlopGqMhauBwyfwY9c73UEvUHJ41/ibhHCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T08:38:20.115140Z"},"content_sha256":"dea4e862c17bf3ebf6ee6501cef79b29c7ceb4029b51833c140d9fc57d7a7486","schema_version":"1.0","event_id":"sha256:dea4e862c17bf3ebf6ee6501cef79b29c7ceb4029b51833c140d9fc57d7a7486"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/X3OONH5WQ4ZFADWFUJQBUI3IF5/bundle.json","state_url":"https://pith.science/pith/X3OONH5WQ4ZFADWFUJQBUI3IF5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/X3OONH5WQ4ZFADWFUJQBUI3IF5/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-20T08:38:20Z","links":{"resolver":"https://pith.science/pith/X3OONH5WQ4ZFADWFUJQBUI3IF5","bundle":"https://pith.science/pith/X3OONH5WQ4ZFADWFUJQBUI3IF5/bundle.json","state":"https://pith.science/pith/X3OONH5WQ4ZFADWFUJQBUI3IF5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/X3OONH5WQ4ZFADWFUJQBUI3IF5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:X3OONH5WQ4ZFADWFUJQBUI3IF5","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":"2471326ce18d43b748027b9b5e6ffb106ed313737bca09bb2e230a6df0eb2506","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-08-07T15:53:32Z","title_canon_sha256":"004fed63c5b173001be7b9dca79c3e8ded94caa8c02166a8cb9d4b9efe8c3e73"},"schema_version":"1.0","source":{"id":"1708.02175","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.02175","created_at":"2026-05-18T00:38:31Z"},{"alias_kind":"arxiv_version","alias_value":"1708.02175v1","created_at":"2026-05-18T00:38:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.02175","created_at":"2026-05-18T00:38:31Z"},{"alias_kind":"pith_short_12","alias_value":"X3OONH5WQ4ZF","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"X3OONH5WQ4ZFADWF","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"X3OONH5W","created_at":"2026-05-18T12:31:53Z"}],"graph_snapshots":[{"event_id":"sha256:dea4e862c17bf3ebf6ee6501cef79b29c7ceb4029b51833c140d9fc57d7a7486","target":"graph","created_at":"2026-05-18T00:38:31Z","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":"This paper presents a classification of the anomalies that can appear when designing or implementing communication protection policies. Together with the already known intra- and inter-policy anomaly types, we introduce a novel category, the inter-technology anomalies, related to security controls implementing different technologies, both within the same network node and among different network nodes. Through an empirical assessment, we prove the practical significance of detecting this new anomaly class. Furthermore, this paper introduces a formal model, based on first-order logic rules that ","authors_text":"Antonio Lioy, Cataldo Basile, Daniele Canavese, Fulvio Valenza","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-08-07T15:53:32Z","title":"Classification and Analysis of Communication Protection Policy Anomalies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.02175","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:ac6cf6583651a373536c8ffc80392f4acd7e3532909723081440a18f5237c183","target":"record","created_at":"2026-05-18T00:38:31Z","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":"2471326ce18d43b748027b9b5e6ffb106ed313737bca09bb2e230a6df0eb2506","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-08-07T15:53:32Z","title_canon_sha256":"004fed63c5b173001be7b9dca79c3e8ded94caa8c02166a8cb9d4b9efe8c3e73"},"schema_version":"1.0","source":{"id":"1708.02175","kind":"arxiv","version":1}},"canonical_sha256":"bedce69fb68732500ec5a2601a23682f61fddbdf1132969a030a468e31452747","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bedce69fb68732500ec5a2601a23682f61fddbdf1132969a030a468e31452747","first_computed_at":"2026-05-18T00:38:31.859427Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:38:31.859427Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aml39/WyMgNfySm2mAZLyTaCiE5Kg634Bg6FUrr3kFIMDf/UC7JCJywgdbKngX1fdAbIDVJGmso/Ah20Hs7/Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:38:31.859842Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.02175","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ac6cf6583651a373536c8ffc80392f4acd7e3532909723081440a18f5237c183","sha256:dea4e862c17bf3ebf6ee6501cef79b29c7ceb4029b51833c140d9fc57d7a7486"],"state_sha256":"a818041373253ddc60fb555a0b23d0c45942452e0ff4b62887da57043d52d331"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KNWt2NBVWIFGmEq8E7DQzyyzLOLit6+cQWEfNCfr2GHeSNeIQuOCM8OPsBV/rq0CcazPDA2FAE9IpHUsj/mPAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T08:38:20.117071Z","bundle_sha256":"98d7fca16b6d14cf7b0cc08767be86e59ddbb86263fa9945719d820e706472b2"}}