{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:35JLLAU3NST45RGKW7W3PGS44V","short_pith_number":"pith:35JLLAU3","canonical_record":{"source":{"id":"1706.10078","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-06-30T09:29:28Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"ad0e6ef166baab9089ef7e46cbc52ddd602ec855b5cf2a32464a6c3acd9e572f","abstract_canon_sha256":"b5ff2a0dc3e14cc3f063aaa92f41674c5d538aab8b6026c02f8cf081755a30ba"},"schema_version":"1.0"},"canonical_sha256":"df52b5829b6ca7cec4cab7edb79a5ce5610ae5004a3d08220a2fcf30770ac9fc","source":{"kind":"arxiv","id":"1706.10078","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.10078","created_at":"2026-05-18T00:03:19Z"},{"alias_kind":"arxiv_version","alias_value":"1706.10078v1","created_at":"2026-05-18T00:03:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.10078","created_at":"2026-05-18T00:03:19Z"},{"alias_kind":"pith_short_12","alias_value":"35JLLAU3NST4","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"35JLLAU3NST45RGK","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"35JLLAU3","created_at":"2026-05-18T12:30:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:35JLLAU3NST45RGKW7W3PGS44V","target":"record","payload":{"canonical_record":{"source":{"id":"1706.10078","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-06-30T09:29:28Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"ad0e6ef166baab9089ef7e46cbc52ddd602ec855b5cf2a32464a6c3acd9e572f","abstract_canon_sha256":"b5ff2a0dc3e14cc3f063aaa92f41674c5d538aab8b6026c02f8cf081755a30ba"},"schema_version":"1.0"},"canonical_sha256":"df52b5829b6ca7cec4cab7edb79a5ce5610ae5004a3d08220a2fcf30770ac9fc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:03:19.639990Z","signature_b64":"/Vtq4USql5dy+4cVL/RBbxbzkW5x5MU4JAW9rpkHpCK7QEf7384zM3DmcmyV02NLdENX6JQxQplpvSjn4vGkCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"df52b5829b6ca7cec4cab7edb79a5ce5610ae5004a3d08220a2fcf30770ac9fc","last_reissued_at":"2026-05-18T00:03:19.639460Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:03:19.639460Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1706.10078","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:03:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O4ired09PztEs/2XL99luA9p07IBMmloHZWsxvLuTaNGrGfjwKraNEZTW0dZ3bpNaVAup0+hK6FbM7Q1217yDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T08:07:24.440820Z"},"content_sha256":"ec704bd8124bb28d81c256cb7e9c66418dca2029053f63984197458c807ed548","schema_version":"1.0","event_id":"sha256:ec704bd8124bb28d81c256cb7e9c66418dca2029053f63984197458c807ed548"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:35JLLAU3NST45RGKW7W3PGS44V","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Novel Logical Method for Security Analysis of Electronic Payment Protocols","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.LO","authors_text":"Chaojing Tang, Jian Wang, Lei Zhang, Xingtong Liu, Yi Liu","submitted_at":"2017-06-30T09:29:28Z","abstract_excerpt":"Electronic payment protocols play a vital role in electronic commerce security, which is essential for secure operation of electronic commerce activities. Formal method is an effective way to verify the security of protocols. But current formal method lacks the description and analysis of timeliness in electronic payment protocols. In order to improve analysis ability, a novel approach to analyze security properties such as accountability, fairness and timeliness in electronic payment protocols is proposed in this paper. This approach extends an existing logical method by adding a concise time"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.10078","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:03:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZK9ZIXL3ugWDrGxAKSbROekXBEUPgzEEborw5WOfmRKash9mLqpMiJDRNh4trDvAXaeTP3put9Md7Q87kiBLBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T08:07:24.441535Z"},"content_sha256":"e4e794faf9c069a8fb34caccc209f262606f6b18ce3593ed7d3c53f4cd3a2ef7","schema_version":"1.0","event_id":"sha256:e4e794faf9c069a8fb34caccc209f262606f6b18ce3593ed7d3c53f4cd3a2ef7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/35JLLAU3NST45RGKW7W3PGS44V/bundle.json","state_url":"https://pith.science/pith/35JLLAU3NST45RGKW7W3PGS44V/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/35JLLAU3NST45RGKW7W3PGS44V/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-05-25T08:07:24Z","links":{"resolver":"https://pith.science/pith/35JLLAU3NST45RGKW7W3PGS44V","bundle":"https://pith.science/pith/35JLLAU3NST45RGKW7W3PGS44V/bundle.json","state":"https://pith.science/pith/35JLLAU3NST45RGKW7W3PGS44V/state.json","well_known_bundle":"https://pith.science/.well-known/pith/35JLLAU3NST45RGKW7W3PGS44V/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:35JLLAU3NST45RGKW7W3PGS44V","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":"b5ff2a0dc3e14cc3f063aaa92f41674c5d538aab8b6026c02f8cf081755a30ba","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-06-30T09:29:28Z","title_canon_sha256":"ad0e6ef166baab9089ef7e46cbc52ddd602ec855b5cf2a32464a6c3acd9e572f"},"schema_version":"1.0","source":{"id":"1706.10078","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.10078","created_at":"2026-05-18T00:03:19Z"},{"alias_kind":"arxiv_version","alias_value":"1706.10078v1","created_at":"2026-05-18T00:03:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.10078","created_at":"2026-05-18T00:03:19Z"},{"alias_kind":"pith_short_12","alias_value":"35JLLAU3NST4","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"35JLLAU3NST45RGK","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"35JLLAU3","created_at":"2026-05-18T12:30:58Z"}],"graph_snapshots":[{"event_id":"sha256:e4e794faf9c069a8fb34caccc209f262606f6b18ce3593ed7d3c53f4cd3a2ef7","target":"graph","created_at":"2026-05-18T00:03:19Z","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":"Electronic payment protocols play a vital role in electronic commerce security, which is essential for secure operation of electronic commerce activities. Formal method is an effective way to verify the security of protocols. But current formal method lacks the description and analysis of timeliness in electronic payment protocols. In order to improve analysis ability, a novel approach to analyze security properties such as accountability, fairness and timeliness in electronic payment protocols is proposed in this paper. This approach extends an existing logical method by adding a concise time","authors_text":"Chaojing Tang, Jian Wang, Lei Zhang, Xingtong Liu, Yi Liu","cross_cats":["cs.CR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-06-30T09:29:28Z","title":"Novel Logical Method for Security Analysis of Electronic Payment Protocols"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.10078","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:ec704bd8124bb28d81c256cb7e9c66418dca2029053f63984197458c807ed548","target":"record","created_at":"2026-05-18T00:03:19Z","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":"b5ff2a0dc3e14cc3f063aaa92f41674c5d538aab8b6026c02f8cf081755a30ba","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-06-30T09:29:28Z","title_canon_sha256":"ad0e6ef166baab9089ef7e46cbc52ddd602ec855b5cf2a32464a6c3acd9e572f"},"schema_version":"1.0","source":{"id":"1706.10078","kind":"arxiv","version":1}},"canonical_sha256":"df52b5829b6ca7cec4cab7edb79a5ce5610ae5004a3d08220a2fcf30770ac9fc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"df52b5829b6ca7cec4cab7edb79a5ce5610ae5004a3d08220a2fcf30770ac9fc","first_computed_at":"2026-05-18T00:03:19.639460Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:03:19.639460Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/Vtq4USql5dy+4cVL/RBbxbzkW5x5MU4JAW9rpkHpCK7QEf7384zM3DmcmyV02NLdENX6JQxQplpvSjn4vGkCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:03:19.639990Z","signed_message":"canonical_sha256_bytes"},"source_id":"1706.10078","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ec704bd8124bb28d81c256cb7e9c66418dca2029053f63984197458c807ed548","sha256:e4e794faf9c069a8fb34caccc209f262606f6b18ce3593ed7d3c53f4cd3a2ef7"],"state_sha256":"3573aa78bb4bf771a9a750cf3246124f2a41723bb2b087af06cca63777ea8b88"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xvLfrxOeMg5SZ0q9uWq00nl3Xpv5p8YLtxqJZI60QlYi0IiBaky04n2Pbibo3FZNDSD7opaqGlsaV/RRkQ6QBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T08:07:24.445366Z","bundle_sha256":"c348c8173447d8034112d354de7e71ed198f38d0e98be82aeb2150528b4c9fdf"}}