Responsibility Analysis by Abstract Interpretation

Abstract

Given a behavior of interest in the program, statically determining the corresponding responsible entity is a task of critical importance, especially in program security. Classical static analysis techniques (e.g. dependency analysis, taint analysis, slicing, etc.) assist programmers in narrowing down the scope of responsibility, but none of them can explicitly identify the responsible entity. Meanwhile, the causality analysis is generally not pertinent for analyzing programs, and the structural equations model (SEM) of actual causality misses some information inherent in programs, making its analysis on programs imprecise. In this paper, a novel definition of responsibility based on the abstraction of event trace semantics is proposed, which can be applied in program security and other scientific fields. Briefly speaking, an entity ER is responsible for behavior B, if and only if ER is free to choose its input value, and such a choice is the first one that ensures the occurrence of B in the forthcoming execution. Compared to current analysis methods, the responsibility analysis is more precise. In addition, our definition of responsibility takes into account the cognizance of the observer, which, to the best of our knowledge, is a new innovative idea in program analysis.

Menşe Devleti̇n Ki̇tlesel Mülteci̇ Akinlarindan Sorumluluğu Ve Eski̇ Hale İade Yükümlülüğü: Suri̇ye Örneği̇ Ve Türki̇ye’deki̇ Suri̇yeli̇leri̇n Gönüllü Geri̇ Dönüşü

“…Vestfalya Andlaşmasıyla temelinin atıldığı varsayılan devlet egemenliği, İkinci Dünya Savaşı sonrası, insan hakları ve insani değerler açısından uluslararası kurumlar ve demokratik değerler devlet egemenliğini törpülerken; 1990 sonrası, devletlerin egemenliklerini koruma yönündeki reflekslerini artırsa da hükümetlerin ülkeleri içindeki davranışları, uluslararası denetime konu edilmiş ve devletlerin egemenlik zırhı daha da incelmiştir 42 . 2001 yılında, ''sorumluluk olarak egemenlik'' ilkesi, Uluslararası Müdahale ve Devlet Egemenliği Komisyonu 43 tarafından, ''Koruma Sorumluluğu'' olarak adlandırılmıştır 44 . Özünü, egemenin sorumluluğu fikrinin oluşturduğu Koruma Sorumluluğuna göre, devlet, ülkesindeki insan haklarının korunmasından birinci derecede sorumludur.…”

A Review of Formal Methods applied to Machine Learning

“…When the verification fails, having verification methods able to determine the source of the fault [50] (e.g., a particular group of nodes in a neural network) would, for instance, allow localizing and guiding any repairs. More generally, such verification methods would enhance interpretability of models such as neural networks.…”

Drawing the Line: Basin Boundaries in Safe Petri Nets

“…which Cousot at al [6]. have recently use as theoretical foundation for capturing which entity of a program is responsible of a given behavior 2 note that infinite-state Petri nets do not have finite complete prefixes in our sense.…”