Evidence-based taxonomy of security properties with first-order logic definitions and ProVerif/Tamarin executable examples derived from a 2022-2025 literature review of 53 studies.
In: 2025 ACM/IEEE 28th International Confer- ence on Model Driven Engineering Languages and Systems Companion, MODELS-C 2025, pp
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
MetaConfigurator is extended with an AI-assisted RDF view that converts JSON data to ontology-based JSON-LD via RML mappings, demonstrated on MOF synthesis protocol data for querying and visualization.
citing papers explorer
-
Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin
Evidence-based taxonomy of security properties with first-order logic definitions and ProVerif/Tamarin executable examples derived from a 2022-2025 literature review of 53 studies.
-
MetaConfigurator: AI-Assisted RDF Authoring from JSON Data
MetaConfigurator is extended with an AI-assisted RDF view that converts JSON data to ontology-based JSON-LD via RML mappings, demonstrated on MOF synthesis protocol data for querying and visualization.