Algebraic Logic of Secrets