Ontologies

A Formal Theory of Prevention

Built as a module of the Unified Foundational Ontology, this proposal describes the dynamics of events that prevent other events from happening. A complete formalization of this theory is in progress.

ROSE: Reference Ontology for Security Engineering

ROSE is a well-founded reference ontology, specified in OntoUML modeling language, that characterizes the concept of security mechanism and explains how this notion is related to value, risk, and prevention. Two major applications of ROSE are:

PHATO: A Phishing Attack Ontology

PHATO is a well-founded Phishing Attack Ontology, specified in OntoUML modeling language, built by reusing the Reference Ontology for Security Engineering (ROSE).