Paper Citation Record · LEDGER

From What to How: A Taxonomy of Formalized Security Properties

As of 19 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 1 inbound Pith citation observation for arXiv:2505.14514.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2505.14514 v1

Coverage vector

measured 40 of 40 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T15:37:07.953632Z

measured 41 of 41 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-06-29T06:51:02.791070Z

measured 1 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

40 of 40 outbound references displayed

verified exact1
verified fuzzy37
unresolved2
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

0
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation 488a1761-cb21-48d6-b4f3-88f4822a9929 · outbound

This paper cites The B-book - assigning programs to meanings.

From What to How: A Taxonomy of Formalized Security Properties The B-book - assigning programs to meanings

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:17.084885Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 903a101c-9de9-426b-99f4-16da53b590ff · outbound

This paper cites Modeling in Event-B - System and Software Engineering.

From What to How: A Taxonomy of Formalized Security Properties Modeling in Event-B - System and Software Engineering

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:16.936000Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 71b5d055-0e76-42dd-ad42-94bf7bb53582 · outbound

This paper cites Rodin: an open toolset for modelling and reasoning in event-b.

From What to How: A Taxonomy of Formalized Security Properties Rodin: an open toolset for modelling and reasoning in event-b

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:16.697916Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 23347f38-d619-4862-97c4-a1859e168f55 · outbound

This paper cites Classification of security properties in a linda-like process algebra.

From What to How: A Taxonomy of Formalized Security Properties Classification of security properties in a linda-like process algebra

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:16.403001Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 19cf1213-8357-48e6-a42f-f62f18d825e6 · outbound

This paper cites Software penetration testing.

From What to How: A Taxonomy of Formalized Security Properties Software penetration testing

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T15:37:03.307328Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3843f428-17d7-4d65-996a-6f7b725b220c · outbound

This paper cites A serious game for eliciting social engineering security requirements.

From What to How: A Taxonomy of Formalized Security Properties A serious game for eliciting social engineering security requirements

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:16.193881Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 3458de87-c952-421d-b387-5ee8d11b4cc4 · outbound

This paper cites Multidimensional divide-and-conquer.

From What to How: A Taxonomy of Formalized Security Properties Multidimensional divide-and-conquer

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:16.030961Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation ddece1f3-e4f4-434c-a35f-0f600800eafc · outbound

This paper cites Less is more: supporting developers in vulnerability detection during code review.

From What to How: A Taxonomy of Formalized Security Properties Less is more: supporting developers in vulnerability detection during code review

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:15.843733Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 77f1515a-eab7-4130-a38e-d39cfc0e35fc · outbound

This paper cites The role of formalism in system requirements.

From What to How: A Taxonomy of Formalized Security Properties The role of formalism in system requirements

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:15.636368Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 325fa13d-eac4-47db-8e6f-14b577efeea8 · outbound

This paper cites SMT Solvers for Rodin.

From What to How: A Taxonomy of Formalized Security Properties SMT Solvers for Rodin

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:15.393466Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 56cdcf8e-6139-4fee-aaed-10cfdd82cefb · outbound

This paper cites A Discipline of Programming.

From What to How: A Taxonomy of Formalized Security Properties A Discipline of Programming

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:15.148354Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 2c7b7a3b-ea02-405b-a61a-b1b122f3637f · outbound

This paper cites An Extensible SAT-solver.

From What to How: A Taxonomy of Formalized Security Properties An Extensible SAT-solver

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:14.909864Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 45c6bcbb-d7bb-43ef-a69f-281b4d57baf6 · outbound

This paper cites Allen Emerson and Edmund M.

From What to How: A Taxonomy of Formalized Security Properties Allen Emerson and Edmund M

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:14.754813Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation b7e37c82-e9ff-4ae4-947c-523a89fc5307 · outbound

This paper cites A taxonomy of trace-based security properties for ccs.

From What to How: A Taxonomy of Formalized Security Properties A taxonomy of trace-based security properties for ccs

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:14.538573Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 356c0310-7103-466c-adf6-c0d7ba6f7501 · outbound

This paper cites Classification of security properties.

From What to How: A Taxonomy of Formalized Security Properties Classification of security properties

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:14.298747Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation a6f634e9-b53b-48a7-8d5d-fb1e5fb21d47 · outbound

This paper cites Resolute: an assurance case language for architecture models.

From What to How: A Taxonomy of Formalized Security Properties Resolute: an assurance case language for architecture models

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:14.040908Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 5eec8574-11a5-45f0-b372-52ee196272f1 · outbound

This paper cites Misuse and abuse cases: Getting past the positive.

From What to How: A Taxonomy of Formalized Security Properties Misuse and abuse cases: Getting past the positive

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:13.748417Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 2785700f-ea2a-4b7f-8dbb-10dace65d2fd · outbound

This paper cites Iso/iec 27000: 2018 information technology—security tech- niques—information security management systems—overview and vo- cabulary, 2018.

From What to How: A Taxonomy of Formalized Security Properties Iso/iec 27000: 2018 information technology—security tech- niques—information security management systems—overview and vo- cabulary, 2018

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:13.472704Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation d6e0633e-cf3d-4129-83f4-8b86af22df73 · outbound

This paper cites Software Abstractions - Logic, Language, and Analysis.

From What to How: A Taxonomy of Formalized Security Properties Software Abstractions - Logic, Language, and Analysis

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:13.214996Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation f3f192ed-0dda-44ed-b154-4fcc12ec6111 · outbound

This paper cites Towards an improved understanding of human factors in cybersecurity.

From What to How: A Taxonomy of Formalized Security Properties Towards an improved understanding of human factors in cybersecurity

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:12.970786Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 0933bee4-69e9-48dc-a855-d7c44a6f4e55 · outbound

This paper cites Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers.

From What to How: A Taxonomy of Formalized Security Properties Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:12.745520Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 452dc587-785f-4148-8a65-7cef05390225 · outbound

This paper cites an unresolved cited work.

From What to How: A Taxonomy of Formalized Security Properties Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:37:12.498274Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 5a818d5d-b80e-4fda-92eb-00546792dc23 · outbound

This paper cites Information security management objectives and practices: a parsimonious frame- work.

From What to How: A Taxonomy of Formalized Security Properties Information security management objectives and practices: a parsimonious frame- work

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:12.231637Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 4c1e0bab-fb27-40dd-abcb-010e40baeaea · outbound

This paper cites Fundamentals of secure system modelling.

From What to How: A Taxonomy of Formalized Security Properties Fundamentals of secure system modelling

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:11.980503Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation cce1ebc1-a991-4313-b2b8-665c1541d869 · outbound

This paper cites Asset-oriented threat modeling.

From What to How: A Taxonomy of Formalized Security Properties Asset-oriented threat modeling

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:11.707227Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 3755a2fe-9d18-4ca2-af6b-fab52e21742f · outbound

This paper cites Using the cia and aaa models to explain cybersecurity activities.

From What to How: A Taxonomy of Formalized Security Properties Using the cia and aaa models to explain cybersecurity activities

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:11.458397Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 657023aa-c231-4100-961a-b5995b06af7b · outbound

This paper cites The Temporal Logic of Programs.

From What to How: A Taxonomy of Formalized Security Properties The Temporal Logic of Programs

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:11.228649Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation ff0cc21f-52c7-4825-88c4-c2bf3bdf60ce · outbound

This paper cites A formal methods approach to security requirements specification and verification.

From What to How: A Taxonomy of Formalized Security Properties A formal methods approach to security requirements specification and verification

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:11.107860Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 19ebe5ee-f843-4052-b65a-1da3c39629c3 · outbound

This paper cites Formalization of requirements for correct systems.

From What to How: A Taxonomy of Formalized Security Properties Formalization of requirements for correct systems

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:10.838250Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 53e33837-a1c3-4ad9-8991-518dd17f5e63 · outbound

This paper cites Security Patterns: Integrating security and systems engineering.

From What to How: A Taxonomy of Formalized Security Properties Security Patterns: Integrating security and systems engineering

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:10.593768Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation c07c24f2-26ea-42a4-96a0-d871d5c01001 · outbound

This paper cites Reusable knowledge in security requirements engineering: a systematic mapping study.

From What to How: A Taxonomy of Formalized Security Properties Reusable knowledge in security requirements engineering: a systematic mapping study

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:10.363727Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 4e00a5ec-b251-4193-9bdf-46fbe7a19879 · outbound

This paper cites Application of Validation Obligations to Security Concerns.

From What to How: A Taxonomy of Formalized Security Properties Application of Validation Obligations to Security Concerns

Reference 32

Resolution: verified exact; local_arxiv, observed 2026-08-07T15:37:08.235565Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation a73d2b49-cfa7-4fdc-a3ff-0ffe8bd05e4e · outbound

This paper cites Risk analysis in software design.

From What to How: A Taxonomy of Formalized Security Properties Risk analysis in software design

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:10.157936Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 02baa5fd-6f4d-4def-93f9-2a60c7a8d721 · outbound

This paper cites From information security to cyber security.

From What to How: A Taxonomy of Formalized Security Properties From information security to cyber security

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:09.996920Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 63bd5570-c773-4bc6-8831-40dc55a2dc0d · outbound

This paper cites Your” what” is my” how”: Iteration and hierarchy in system design.

From What to How: A Taxonomy of Formalized Security Properties Your” what” is my” how”: Iteration and hierarchy in system design

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:09.750136Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 7af9d608-3e90-48f0-8f87-c4b2da331491 · outbound

This paper cites Beyond 2014: Formal methods for attack tree–based security modeling.

From What to How: A Taxonomy of Formalized Security Properties Beyond 2014: Formal methods for attack tree–based security modeling

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:09.484316Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 43f35625-2036-4787-b168-d57168f827c1 · outbound

This paper cites Program Development by Stepwise Refinement.

From What to How: A Taxonomy of Formalized Security Properties Program Development by Stepwise Refinement

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:09.232164Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 6c7f4dfd-8375-46bb-a8dd-02f9270b126f · outbound

This paper cites Sok: Social cyberse- curity.

From What to How: A Taxonomy of Formalized Security Properties Sok: Social cyberse- curity

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:08.968968Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 1978610c-3a2c-4c6d-942e-e82dd4adf197 · outbound

This paper cites Towards better utilizing static application security testing.

From What to How: A Taxonomy of Formalized Security Properties Towards better utilizing static application security testing

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:08.717257Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 0245fa31-cf1f-4fa7-818f-de46f1e4bdf8 · outbound

This paper cites Threat modeling: from infancy to maturity.

From What to How: A Taxonomy of Formalized Security Properties Threat modeling: from infancy to maturity

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:37:08.519028Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Pith citing papers

Observation 469f49ff-e36b-4eda-aa76-920147a1284a · inbound

Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin cites this paper.

Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin From What to How: A Taxonomy of Formalized Security Properties

Reference 10

Resolution: verified exact; arxiv_id, observed 2026-06-29T06:53:11.819623Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.