{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:H5MMI3G57UGC4GKMHIOBWNUYPL","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":"7c908302486840191c55f99081d6c898d41742e0f8cb832a2c6da89625a5ed7a","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-06-11T06:28:11Z","title_canon_sha256":"9fc702509e96ccfa5df5526f5456e4f87e6458ffb1dfac1ab793daebc3ab4181"},"schema_version":"1.0","source":{"id":"1406.2791","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.2791","created_at":"2026-05-18T02:49:55Z"},{"alias_kind":"arxiv_version","alias_value":"1406.2791v1","created_at":"2026-05-18T02:49:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.2791","created_at":"2026-05-18T02:49:55Z"},{"alias_kind":"pith_short_12","alias_value":"H5MMI3G57UGC","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_16","alias_value":"H5MMI3G57UGC4GKM","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_8","alias_value":"H5MMI3G5","created_at":"2026-05-18T12:28:30Z"}],"graph_snapshots":[{"event_id":"sha256:d582172dc8093aadacc7ba9f8d2e4abcb6f8ac1895a7d1088831c25485edad09","target":"graph","created_at":"2026-05-18T02:49:55Z","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":"Formal method techniques provides a suitable platform for the software development in software systems. Formal methods and formal verification is necessary to prove the correctness and improve performance of software systems in various levels of design and implementation, too. Security Discussion is an important issue in computer systems. Since the antivirus applications have very important role in computer systems security, verifying these applications is very essential and necessary. In this paper, we present four new approaches for antivirus system behavior and a behavioral model of protect","authors_text":"Ali Mahjur, Monire Norouzi, Saeed Parsa","cross_cats":["cs.CR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-06-11T06:28:11Z","title":"A new approach for formal behavioral modeling of protection services in antivirus systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.2791","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:d440ff77de2d751fb3eda29b6884b79634d0cfa5f267e61c7f8b77419c035076","target":"record","created_at":"2026-05-18T02:49:55Z","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":"7c908302486840191c55f99081d6c898d41742e0f8cb832a2c6da89625a5ed7a","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-06-11T06:28:11Z","title_canon_sha256":"9fc702509e96ccfa5df5526f5456e4f87e6458ffb1dfac1ab793daebc3ab4181"},"schema_version":"1.0","source":{"id":"1406.2791","kind":"arxiv","version":1}},"canonical_sha256":"3f58c46cddfd0c2e194c3a1c1b36987ae5408fcfcb63391089164ab19bc76fe6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3f58c46cddfd0c2e194c3a1c1b36987ae5408fcfcb63391089164ab19bc76fe6","first_computed_at":"2026-05-18T02:49:55.113028Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:49:55.113028Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+SO51oxq5PprQak/DqMEkc82vFnbpeoFjhXKhmLNjlor1OojxpFu5mL3yYdiniw8MFHkdP5Q1NiMo+snE+G5Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:49:55.113701Z","signed_message":"canonical_sha256_bytes"},"source_id":"1406.2791","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d440ff77de2d751fb3eda29b6884b79634d0cfa5f267e61c7f8b77419c035076","sha256:d582172dc8093aadacc7ba9f8d2e4abcb6f8ac1895a7d1088831c25485edad09"],"state_sha256":"a66a7e02ab41e1cbfabaab88cd0b92c27ce62042f96cfe37dc4e2e6681d3d6f8"}