{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:I33IAZ66XDZY6GWV2QV4XPEFBW","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":"dd432c10d831349b26332f422143378c09b9a54b51a3b13db5e3967f11fb4f3a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-05-17T05:47:46Z","title_canon_sha256":"aa4e1d32a3ba5c56698b7119c94156e828abb99eafc304e40b41d1c5b427b49a"},"schema_version":"1.0","source":{"id":"2505.11857","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.11857","created_at":"2026-07-05T11:04:53Z"},{"alias_kind":"arxiv_version","alias_value":"2505.11857v1","created_at":"2026-07-05T11:04:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.11857","created_at":"2026-07-05T11:04:53Z"},{"alias_kind":"pith_short_12","alias_value":"I33IAZ66XDZY","created_at":"2026-07-05T11:04:53Z"},{"alias_kind":"pith_short_16","alias_value":"I33IAZ66XDZY6GWV","created_at":"2026-07-05T11:04:53Z"},{"alias_kind":"pith_short_8","alias_value":"I33IAZ66","created_at":"2026-07-05T11:04:53Z"}],"graph_snapshots":[{"event_id":"sha256:3f0ab0960004d7f59bca07348436e62a5a20d69dcb99aaa28cc3f21cae9fef7e","target":"graph","created_at":"2026-07-05T11:04: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2505.11857/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In the current software driven era, ensuring privacy and security is critical. Despite this, the specification of security requirements for software is still largely a manual and labor intensive process. Engineers are tasked with analyzing potential security threats based on functional requirements (FRs), a procedure prone to omissions and errors due to the expertise gap between cybersecurity experts and software engineers. To bridge this gap, we introduce F2SRD (Function to Security Requirements Derivation), an automated approach that proactively derives security requirements (SRs) from funct","authors_text":"Fang Liu, Hanyu Zou, Jiajun Wu, Li Zhang, Shuaisong Wang, Xiaoli Lian","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.11857","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:acb7fe6c6a00d679c209c4a926c1864b9c9601a9c8845d47902f3662315f644b","target":"record","created_at":"2026-07-05T11:04: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":"dd432c10d831349b26332f422143378c09b9a54b51a3b13db5e3967f11fb4f3a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-05-17T05:47:46Z","title_canon_sha256":"aa4e1d32a3ba5c56698b7119c94156e828abb99eafc304e40b41d1c5b427b49a"},"schema_version":"1.0","source":{"id":"2505.11857","kind":"arxiv","version":1}},"canonical_sha256":"46f68067deb8f38f1ad5d42bcbbc850db44cfd8f89303f1e3f4ff71daac56a00","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"46f68067deb8f38f1ad5d42bcbbc850db44cfd8f89303f1e3f4ff71daac56a00","first_computed_at":"2026-07-05T11:04:53.313194Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:04:53.313194Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8W56GcShIhmgQUtEBHcYTUkub29DOapoXHG8sQnDpjCKydQmaNZWKRyt6MXmes8pBLhEpoZmeucoNO87V6kpCw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:04:53.313672Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.11857","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:acb7fe6c6a00d679c209c4a926c1864b9c9601a9c8845d47902f3662315f644b","sha256:3f0ab0960004d7f59bca07348436e62a5a20d69dcb99aaa28cc3f21cae9fef7e"],"state_sha256":"00ba05a811f6f72f242de2a1eaf634e50e95b1b71723f5a4e5001e7941161d81"}