{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:7OEYU2NAK5POV6QLJKHFFVBTEM","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":"293a4515a4d72b340e97164f974a91f694807b9a1c0dfac6ec2e6538a3a14721","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-03-07T20:53:25Z","title_canon_sha256":"8fa717b1eb74f5b9f9c9d7c1481f48931377dad757f37a0098b3a9798ff518f4"},"schema_version":"1.0","source":{"id":"1403.1866","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.1866","created_at":"2026-05-17T23:55:10Z"},{"alias_kind":"arxiv_version","alias_value":"1403.1866v2","created_at":"2026-05-17T23:55:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.1866","created_at":"2026-05-17T23:55:10Z"},{"alias_kind":"pith_short_12","alias_value":"7OEYU2NAK5PO","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"7OEYU2NAK5POV6QL","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"7OEYU2NA","created_at":"2026-05-18T12:28:19Z"}],"graph_snapshots":[{"event_id":"sha256:d357f9c77805dd68146b76c61ae685b2c143dc690b01981cb16ba3f7cd0865aa","target":"graph","created_at":"2026-05-17T23:55:10Z","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":"The web constitutes a complex infrastructure and as demonstrated by numerous attacks, rigorous analysis of standards and web applications is indispensable.\n  Inspired by successful prior work, in particular the work by Akhawe et al. as well as Bansal et al., in this work we propose a formal model for the web infrastructure. While unlike prior works, which aim at automatic analysis, our model so far is not directly amenable to automation, it is much more comprehensive and accurate with respect to the standards and specifications. As such, it can serve as a solid basis for the analysis of a broa","authors_text":"Daniel Fett, Guido Schmitz, Ralf Kuesters","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-03-07T20:53:25Z","title":"An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.1866","kind":"arxiv","version":2},"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:d64abf0752a9c2c6b509f453c95812105d221a4f2a13897da8223ed9a98e6923","target":"record","created_at":"2026-05-17T23:55:10Z","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":"293a4515a4d72b340e97164f974a91f694807b9a1c0dfac6ec2e6538a3a14721","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-03-07T20:53:25Z","title_canon_sha256":"8fa717b1eb74f5b9f9c9d7c1481f48931377dad757f37a0098b3a9798ff518f4"},"schema_version":"1.0","source":{"id":"1403.1866","kind":"arxiv","version":2}},"canonical_sha256":"fb898a69a0575eeafa0b4a8e52d43323323a1e21a14ec76f658e650e18df82db","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fb898a69a0575eeafa0b4a8e52d43323323a1e21a14ec76f658e650e18df82db","first_computed_at":"2026-05-17T23:55:10.146233Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:55:10.146233Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3IMovWYNCpj5prHuO1dMFPYF0TPrxam2dNqwLJWXciobEbQkr7B0clQDOL9SbsWTvOlUKtEs7J5OKeP4JHPeBw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:55:10.146806Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.1866","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d64abf0752a9c2c6b509f453c95812105d221a4f2a13897da8223ed9a98e6923","sha256:d357f9c77805dd68146b76c61ae685b2c143dc690b01981cb16ba3f7cd0865aa"],"state_sha256":"7d103fb697dca6f2871505f8f5eaa78dea8944b904b507ac5c6e2c3a8bdeddd6"}