Ítalo Oliveira

Welcome to the blog

Sat, 18 Jul 2026 00:00:00 +0200

This is the new blog section of my personal site.

I write casually at Not So Short Notes. Posts here will collect shorter notes and updates related to ontology engineering, cybersecurity modeling, and other research interests.

Why foundational ontologies matter for security modeling

Wed, 15 Jul 2026 00:00:00 +0200

Security models often mix threats, vulnerabilities, controls, and business goals in the same diagram. That works for a slide deck—until you try to reuse the model across tools, teams, or standards.

Bio

Mon, 01 Jan 0001 00:00:00 +0000

In Atacama desert, Chile🇨🇱, 2019.

My full name is “Ítalo José da Silva Oliveira”, but I sign my scientific publications as “Ítalo Oliveira” only.🙂

With a background as a Lawyer, Law Teacher, and Researcher in the Philosophy of Law, I became fascinated by mathematical logic, which I first encountered through my philosophy studies in law school, I decided to pursue a career in Computer Science, believing information technology is taking over every aspect of society and every research field.

Network

Mon, 01 Jan 0001 00:00:00 +0000

Ítalo Oliveira aka Ítalo J. S. Oliveira, Ítalo José da Silva Oliveira

Academic

Development

Others

Mathematics Genealogy

Ontologies

Mon, 01 Jan 0001 00:00:00 +0000

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:

Teaching

Mon, 01 Jan 0001 00:00:00 +0000

My recent teaching experience includes a Requirements Engineering Master’s course (2024-2025) at the University of Twente and a lecture on Risk and Security Modeling in ArchiMate in the Architecture of Information Systems Master’s course (2023) at the same university.

I also have experience teaching Legal Hermeneutics, Critical Thinking, Legal Philosophy, introduction to formal logic, and Python programming for lawyers. See, for instance:

Ítalo Oliveira

Welcome to the blog

Why foundational ontologies matter for security modeling

Bio

Network

Academic

Social networks

Development

Others

Ontologies

A Formal Theory of Prevention

ROSE: Reference Ontology for Security Engineering

Teaching