AnonyControl: Control Cloud Data Anonymously with Multi-Authority Attribute-Based Encryption

Cloud computing is a revolutionary computing paradigm which enables flexible, on-demand and low-cost usage of computing resources. However, those advantages, ironically, are the causes of security and privacy problems, which emerge because the data owned by different users are stored in some cloud servers instead of under their own control. To deal with security problems, various schemes based on the Attribute- Based Encryption (ABE) have been proposed recently. However, the privacy problem of cloud computing is yet to be solved. This paper presents an anonymous privilege control scheme AnonyControl to address the user and data privacy problem in a cloud. By using multiple authorities in cloud computing system, our proposed scheme achieves anonymous cloud data access, finegrained privilege control, and more importantly, tolerance to up to (N -2) authority compromise. Our security and performance analysis show that AnonyControl is both secure and efficient for cloud computing environment.Comment: 9 pages, 6 figures, 3 tables, conference, IEEE INFOCOM 201

Flexible Invariants Through Semantic Collaboration

Modular reasoning about class invariants is challenging in the presence of dependencies among collaborating objects that need to maintain global consistency. This paper presents semantic collaboration: a novel methodology to specify and reason about class invariants of sequential object-oriented programs, which models dependencies between collaborating objects by semantic means. Combined with a simple ownership mechanism and useful default schemes, semantic collaboration achieves the flexibility necessary to reason about complicated inter-object dependencies but requires limited annotation burden when applied to standard specification patterns. The methodology is implemented in AutoProof, our program verifier for the Eiffel programming language (but it is applicable to any language supporting some form of representation invariants). An evaluation on several challenge problems proposed in the literature demonstrates that it can handle a variety of idiomatic collaboration patterns, and is more widely applicable than the existing invariant methodologies.Comment: 22 page

A NOVEL TYPE OF FLEXIBLE SOFT ANALYTIC NETWORK PROCESS TO SOLVE THE MULTIPLE-ATTRIBUTE DECISION-MAKING PROBLEM

  Research and development of scientific and technological products have been changing with each passing day in this new millennium. Decisions related to the production of technical products are the key to affecting the sustainable development and market share of enterprises. However, the decision-making related to the production of technology products contains many different evaluation criteria as well as qualitative and quantitative evaluation attributes. Moreover, the correlation between criteria must be considered so it can be treated as a complex multiple-attribute decision-making (MADM) problem. Moreover, performing a multi-attribute decision evaluation often encounters incomplete or missing information provided by experts, which will lead to difficulties in the solution process. In view of the incomplete or missing information of the assessment data, the traditional analytic network process (ANP) method and decision-making trial and evaluation laboratory ANP (DANP) method will delete the incomplete information during the process of assessment and decision-making, and this will bring about non-objective assessment results. In order to solve the above problems, this study proposes a novel type of flexible soft ANP (SANP) method to solve the MADM problems and uses a practical example of smartphone text entry to prove the effectiveness and suitability of the proposed SANP method