{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:F5XR2TO6VRSLH5CTF5PTKHIITU","short_pith_number":"pith:F5XR2TO6","schema_version":"1.0","canonical_sha256":"2f6f1d4ddeac64b3f4532f5f351d089d349f50ee6f3c27f0f3f4b851bf34388e","source":{"kind":"arxiv","id":"2505.14514","version":1},"attestation_state":"computed","paper":{"title":"From What to How: A Taxonomy of Formalized Security Properties","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Imen Sayar, Jean-Michel Bruel, Nan Messe, Sophie Ebersold","submitted_at":"2025-05-20T15:42:08Z","abstract_excerpt":"Confidentiality, integrity, availability, authenticity, authorization, and accountability are known as security properties that secure systems should preserve. They are usually considered as security final goals that are achieved by system development activities, either in a direct or an indirect manner. However, these security properties are mainly elicited in the high-level requirement phase during the System Development Life Cycle (SDLC) and are not refined throughout the latter phases as other artifacts such as attacks, defenses, and system assets. To align security properties refinement w"},"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":"2505.14514","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-20T15:42:08Z","cross_cats_sorted":[],"title_canon_sha256":"5a5b4b92b0fbb88176ad98ac9358aac70fd48d7278142bb69b7dddddd66ecd2a","abstract_canon_sha256":"7f3b0bace7f0c149a69a1d99d0dd0a88e692d37cb4d7056a48d7681135dfe9d4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:06:14.892229Z","signature_b64":"Xg/+XbkHTkBDHF9ZS/Yh93MznsoU2f6lS47v89vXGHEvLAszLQH8cMt7h5QibIHFV976B3hK9DKsOnyXmsVyBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2f6f1d4ddeac64b3f4532f5f351d089d349f50ee6f3c27f0f3f4b851bf34388e","last_reissued_at":"2026-07-05T11:06:14.891691Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:06:14.891691Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"From What to How: A Taxonomy of Formalized Security Properties","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Imen Sayar, Jean-Michel Bruel, Nan Messe, Sophie Ebersold","submitted_at":"2025-05-20T15:42:08Z","abstract_excerpt":"Confidentiality, integrity, availability, authenticity, authorization, and accountability are known as security properties that secure systems should preserve. They are usually considered as security final goals that are achieved by system development activities, either in a direct or an indirect manner. However, these security properties are mainly elicited in the high-level requirement phase during the System Development Life Cycle (SDLC) and are not refined throughout the latter phases as other artifacts such as attacks, defenses, and system assets. To align security properties refinement w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.14514","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2505.14514/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2505.14514","created_at":"2026-07-05T11:06:14.891747+00:00"},{"alias_kind":"arxiv_version","alias_value":"2505.14514v1","created_at":"2026-07-05T11:06:14.891747+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.14514","created_at":"2026-07-05T11:06:14.891747+00:00"},{"alias_kind":"pith_short_12","alias_value":"F5XR2TO6VRSL","created_at":"2026-07-05T11:06:14.891747+00:00"},{"alias_kind":"pith_short_16","alias_value":"F5XR2TO6VRSLH5CT","created_at":"2026-07-05T11:06:14.891747+00:00"},{"alias_kind":"pith_short_8","alias_value":"F5XR2TO6","created_at":"2026-07-05T11:06:14.891747+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2605.29465","citing_title":"Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin","ref_index":10,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/F5XR2TO6VRSLH5CTF5PTKHIITU","json":"https://pith.science/pith/F5XR2TO6VRSLH5CTF5PTKHIITU.json","graph_json":"https://pith.science/api/pith-number/F5XR2TO6VRSLH5CTF5PTKHIITU/graph.json","events_json":"https://pith.science/api/pith-number/F5XR2TO6VRSLH5CTF5PTKHIITU/events.json","paper":"https://pith.science/paper/F5XR2TO6"},"agent_actions":{"view_html":"https://pith.science/pith/F5XR2TO6VRSLH5CTF5PTKHIITU","download_json":"https://pith.science/pith/F5XR2TO6VRSLH5CTF5PTKHIITU.json","view_paper":"https://pith.science/paper/F5XR2TO6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2505.14514&json=true","fetch_graph":"https://pith.science/api/pith-number/F5XR2TO6VRSLH5CTF5PTKHIITU/graph.json","fetch_events":"https://pith.science/api/pith-number/F5XR2TO6VRSLH5CTF5PTKHIITU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/F5XR2TO6VRSLH5CTF5PTKHIITU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/F5XR2TO6VRSLH5CTF5PTKHIITU/action/storage_attestation","attest_author":"https://pith.science/pith/F5XR2TO6VRSLH5CTF5PTKHIITU/action/author_attestation","sign_citation":"https://pith.science/pith/F5XR2TO6VRSLH5CTF5PTKHIITU/action/citation_signature","submit_replication":"https://pith.science/pith/F5XR2TO6VRSLH5CTF5PTKHIITU/action/replication_record"}},"created_at":"2026-07-05T11:06:14.891747+00:00","updated_at":"2026-07-05T11:06:14.891747+00:00"}