Dergiler / Turkish Journal of Mathematics / 2012 / Cilt: 36 - Sayı: 1
Secrecy logic: S-secrecy structures
- Sayfa
- 1–27
- DOI
- —
Özet
Let S = \lan L,\vdashS\ran be a deductive system. An S-secrecy logic is a quadruple K = \lan FmL(V),K,B,S\ran, where FmL(V) is the algebra of L-formulas, K,B are S-theories, with B \subseteq K and S \subseteq K such that S \cap B = \emptyset. K corresponds to information deducible from a knowledge base, B to information deducible from the publicly accessible (or browsable) part of the knowledge base and S is a secret set, a set of sensitive or private information that the knowledge base aims at concealing from its users. To provide models for this context, the notion of an S-secrecy structure is introduced. It is a quadruple A = \lan A,KA,BA,SA\ran, consisting of an L-algebra A, two S-filters KA,BA on A, with BA \subseteq KA, and a subset SA \subseteq KA, such that SA\cap BA = \emptyset. Several model theoretic/universal algebraic and categorical properties of the class of S-secrecy structures, endowed with secrecy homomorphisms, are studied relating to various universal algebraic and categorical constructs.
Abstract
Let S = \lan L,\vdashS\ran be a deductive system. An S-secrecy logic is a quadruple K = \lan FmL(V),K,B,S\ran, where FmL(V) is the algebra of L-formulas, K,B are S-theories, with B \subseteq K and S \subseteq K such that S \cap B = \emptyset. K corresponds to information deducible from a knowledge base, B to information deducible from the publicly accessible (or browsable) part of the knowledge base and S is a secret set, a set of sensitive or private information that the knowledge base aims at concealing from its users. To provide models for this context, the notion of an S-secrecy structure is introduced. It is a quadruple A = \lan A,KA,BA,SA\ran, consisting of an L-algebra A, two S-filters KA,BA on A, with BA \subseteq KA, and a subset SA \subseteq KA, such that SA\cap BA = \emptyset. Several model theoretic/universal algebraic and categorical properties of the class of S-secrecy structures, endowed with secrecy homomorphisms, are studied relating to various universal algebraic and categorical constructs.