Secrecy logic: S-secrecy structures

George VOUTSADAKIS

Makale detayları

Secrecy logic: S-secrecy structures

Yazarlar:

George VOUTSADAKIS

Yayıncı:

TUBITAK

Dergi:

Turkish Journal of Mathematics 2012 Vol.36 Issue 1, pp.1-27

Belge Tipi:

Makale

Yayın Tarihi:

12/2011

Belge Dili:

Türkçe

Document ID (Org No.):

2000747845

Sıklık:

İki Aylık

eISSN:

1303-6149

pISSN:

1300-0098

Anahtar kelimeler:

Ö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.

 

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.

Makale detayları

Secrecy logic: S-secrecy structures

Yazarlar:

George VOUTSADAKIS

Yayıncı:

TUBITAK

Dergi:

Turkish Journal of Mathematics 2012 Vol.36 Issue 1, pp.1-27

Belge Tipi:

Makale

Yayın Tarihi:

12/2011

Belge Dili:

Türkçe

Document ID (Org No.):

2000747845

Sıklık:

İki Aylık

eISSN:

1303-6149

pISSN:

1300-0098

Secrecy-preserving reasoning

abstract algebraic logic

logical matrices

protoalgebraic logics

first-order structures

homomorphism theorems

regular categories

subdirect products

subdirectly irreducible structures

Sayı

Makale detayları

Yazarlar: George VOUTSADAKIS

Yayıncı: TUBITAK

Dergi: Turkish Journal of Mathematics 2012 Vol.36 Issue 1, pp.1-27

Belge Tipi: Makale

Yayın Tarihi: 12/2011

Belge Dili: Türkçe

Document ID (Org No.): 2000747845

Sıklık: İki Aylık

eISSN: 1303-6149

pISSN: 1300-0098

Sayı

Yazarlar:

George VOUTSADAKIS

Yayıncı:

TUBITAK

Dergi:

Turkish Journal of Mathematics 2012 Vol.36 Issue 1, pp.1-27

Belge Tipi:

Makale

Yayın Tarihi:

12/2011

Belge Dili:

Türkçe

Document ID (Org No.):

2000747845

Sıklık:

İki Aylık

eISSN:

1303-6149

pISSN:

1300-0098