Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Monotonic query"'
Autor:
Joachim Biskup
Publikováno v:
Lecture Notes in Computer Science
34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec)
34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jun 2020, Regensburg, Germany. pp.79-99, ⟨10.1007/978-3-030-49669-2_5⟩
Data and Applications Security and Privacy XXXIV ISBN: 9783030496685
DBSec
34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec)
34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jun 2020, Regensburg, Germany. pp.79-99, ⟨10.1007/978-3-030-49669-2_5⟩
Data and Applications Security and Privacy XXXIV ISBN: 9783030496685
DBSec
Part 2: Information Flow and Access Control; International audience; The concept of inference-proofness has been introduced for capturing strong confidentiality requirements—including privacy concerns—of an information owner, communicating with a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c6b991a2f4d49230c393627a7dd421d2
https://hal.inria.fr/hal-03243627/file/496047_1_En_5_Chapter.pdf
https://hal.inria.fr/hal-03243627/file/496047_1_En_5_Chapter.pdf
Autor:
Jorge Fandinno
Publikováno v:
Theory and Practice of Logic Programming. 16:670-687
We present an extension of Logic Programming (under stable models semantics) that, not only allows concluding whether a true atom is a cause of another atom, but also deriving new conclusions from these causal-effect relations. This is expressive eno
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c8986b3d940d5b8f072df18328ff015
https://doi.org/10.1017/s1471068416000466
https://doi.org/10.1017/s1471068416000466
