{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:X3OONH5WQ4ZFADWFUJQBUI3IF5","short_pith_number":"pith:X3OONH5W","schema_version":"1.0","canonical_sha256":"bedce69fb68732500ec5a2601a23682f61fddbdf1132969a030a468e31452747","source":{"kind":"arxiv","id":"1708.02175","version":1},"attestation_state":"computed","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 "},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1708.02175","created_at":"2026-05-18T00:38:31.859491+00:00"},{"alias_kind":"arxiv_version","alias_value":"1708.02175v1","created_at":"2026-05-18T00:38:31.859491+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.02175","created_at":"2026-05-18T00:38:31.859491+00:00"},{"alias_kind":"pith_short_12","alias_value":"X3OONH5WQ4ZF","created_at":"2026-05-18T12:31:53.515858+00:00"},{"alias_kind":"pith_short_16","alias_value":"X3OONH5WQ4ZFADWF","created_at":"2026-05-18T12:31:53.515858+00:00"},{"alias_kind":"pith_short_8","alias_value":"X3OONH5W","created_at":"2026-05-18T12:31:53.515858+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/X3OONH5WQ4ZFADWFUJQBUI3IF5","json":"https://pith.science/pith/X3OONH5WQ4ZFADWFUJQBUI3IF5.json","graph_json":"https://pith.science/api/pith-number/X3OONH5WQ4ZFADWFUJQBUI3IF5/graph.json","events_json":"https://pith.science/api/pith-number/X3OONH5WQ4ZFADWFUJQBUI3IF5/events.json","paper":"https://pith.science/paper/X3OONH5W"},"agent_actions":{"view_html":"https://pith.science/pith/X3OONH5WQ4ZFADWFUJQBUI3IF5","download_json":"https://pith.science/pith/X3OONH5WQ4ZFADWFUJQBUI3IF5.json","view_paper":"https://pith.science/paper/X3OONH5W","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1708.02175&json=true","fetch_graph":"https://pith.science/api/pith-number/X3OONH5WQ4ZFADWFUJQBUI3IF5/graph.json","fetch_events":"https://pith.science/api/pith-number/X3OONH5WQ4ZFADWFUJQBUI3IF5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/X3OONH5WQ4ZFADWFUJQBUI3IF5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/X3OONH5WQ4ZFADWFUJQBUI3IF5/action/storage_attestation","attest_author":"https://pith.science/pith/X3OONH5WQ4ZFADWFUJQBUI3IF5/action/author_attestation","sign_citation":"https://pith.science/pith/X3OONH5WQ4ZFADWFUJQBUI3IF5/action/citation_signature","submit_replication":"https://pith.science/pith/X3OONH5WQ4ZFADWFUJQBUI3IF5/action/replication_record"}},"created_at":"2026-05-18T00:38:31.859491+00:00","updated_at":"2026-05-18T00:38:31.859491+00:00"}