Towards Virtuous Cloud Data Storage Using Access Policy Hiding in Ciphertext Policy Attribute-Based Encryption

Managing and controlling access to the tremendous data in Cloud storage is very challenging. Due to various entities engaged in the Cloud environment, there is a high possibility of data tampering. Cloud encryption is being employed to control data access while securing Cloud data. The encrypted data are sent to Cloud storage with an access policy defined by the data owner. Only authorized users can decrypt the encrypted data. However, the access policy of the encrypted data is in readable form, which results in privacy leakage. To address this issue, we proposed a reinforcement hiding in access policy over Cloud storage by enhancing the Ciphertext Policy Attribute-based Encryption (CP-ABE) algorithm. Besides the encryption process, the reinforced CP-ABE used logical connective operations to hide the attribute value of data in the access policy. These attributes were converted into scrambled data along with a ciphertext form that provides a better unreadability feature. It means that a two-level concealed tactic is employed to secure data from any unauthorized access during a data transaction. Experimental results revealed that our reinforced CP-ABE had a low computational overhead and consumed low storage costs. Furthermore, a case study on security analysis shows that our approach is secure against a passive attack such as traffic analysis.

Between Time and Discourse A Syntactic Analysis of Italian poi

In this article the different functions of Italian poi are described and analysed from a cartographic perspective. We show that in addition to its use as a temporal adverb (after, then), poi can be used as a temporal or logical connective adverb, as a discourse marker and as a modal particle. These functions can be correlated with different positions in the clause and with differences in the internal structure of the element itself. Finally, we identify the syntactic environments and sentence types in which poi occurs in its function as a modal particle, as well as the special interpretations that are associated with its presence.

Negation in Event Semantics

With events as dense as time, negation threatens to be trivial, unless ‘not’ is noughtly, an adverb of quantification. So revised, classical puzzles of negation in natural language are revisited, in which deviation from the logical connective, violating Excluded Middle, appears to prompt a special condition or special meaning. The language of events also contains negative event descriptions—After the flood, it not drying out ruined the basement and one could smell it not drying out—and these appear to founder on the logic of the constructions in which they occur and on reference to suspect negative events, events of not drying out. A language for event semantics with ‘not’ as noughtly resolves the puzzles surveyed—within classical logic, without ambiguity or special conditions on the meaning of ‘not’, and without a metaphysics of negative events.

On Two Classes of Soft Sets in Soft Topological Spaces

In this paper, we define soft ω -open sets and strongly soft ω -open sets as two new classes of soft sets. We study the natural properties of these types of soft sets and we study the validity of the exact versions of some known results in ordinary topological spaces regarding ω -open sets in soft topological spaces. Also, we study the relationships between the ω -open sets of a given indexed family of topological spaces and the soft ω -open sets (resp. strongly soft ω -open sets) of their generated soft topological space. These relationships form a biconditional logical connective which is a symmetry. As an application of strongly soft ω -open sets, we characterize soft Lindelof (resp. soft weakly Lindelof) soft topological spaces.

Quantum eigenlogic observables applied to the study of fuzzy behaviour of Braitenberg vehicle quantum robots

Purpose The purpose of this paper is to apply the quantum “eigenlogic” formulation to behavioural analysis. Agents, represented by Braitenberg vehicles, are investigated in the context of the quantum robot paradigm. The agents are processed through quantum logical gates with fuzzy and multivalued inputs; this permits to enlarge the behavioural possibilities and the associated decisions for these simple vehicles. Design/methodology/approach In eigenlogic, the eigenvalues of the observables are the truth values and the associated eigenvectors are the logical interpretations of the propositional system. Logical observables belong to families of commuting observables for binary logic and many-valued logic. By extension, a fuzzy logic interpretation is proposed by using vectors outside the eigensystem of the logical connective observables. The fuzzy membership function is calculated by the quantum mean value (Born rule) of the logical projection operators and is associated to a quantum probability. The methodology of this paper is based on quantum measurement theory. Findings Fuzziness arises naturally when considering systems described by state vectors not in the considered logical eigensystem. These states correspond to incompatible and complementary systems outside the realm of classical logic. Considering these states allows the detection of new Braitenberg vehicle behaviours related to identified emotions; these are linked to quantum-like effects. Research limitations/implications The method does not deal at this stage with first-order logic and is limited to different families of commuting logical observables. An extension to families of logical non-commuting operators associated to predicate quantifiers could profit of the “quantum advantage” due to effects such as superposition, parallelism, non-commutativity and entanglement. This direction of research has a variety of applications, including robotics. Practical implications The goal of this research is to show the multiplicity of behaviours obtained by using fuzzy logic along with quantum logical gates in the control of simple Braitenberg vehicle agents. By changing and combining different quantum control gates, one can tune small changes in the vehicle’s behaviour and hence get specific features around the main basic robot’s emotions. Originality/value New mathematical formulation for propositional logic based on linear algebra. This methodology demonstrates the potentiality of this formalism for behavioural agent models (quantum robots).