Wuhan University

About: Wuhan University is a education organization based out in Wuhan, China. It is known for research contribution in the topics: Computer science & Population. The organization has 92849 authors who have published 92882 publications receiving 1691049 citations. The organization is also known as: WHU & Wuhan College.

Anonymous Two-Factor Authentication in Distributed Systems: Certain Goals Are Beyond Attainment

Abstract: Despite two decades of intensive research, it remains a challenge to design a practical anonymous two-factor authentication scheme, for the designers are confronted with an impressive list of security requirements (e.g., resistance to smart card loss attack) and desirable attributes (e.g., local password update). Numerous solutions have been proposed, yet most of them are shortly found either unable to satisfy some critical security requirements or short of a few important features. To overcome this unsatisfactory situation, researchers often work around it in hopes of a new proposal (but no one has succeeded so far), while paying little attention to the fundamental question: whether or not there are inherent limitations that prevent us from designing an “ideal” scheme that satisfies all the desirable goals? In this work, we aim to provide a definite answer to this question. We first revisit two foremost proposals, i.e. Tsai et al.’s scheme and Li’s scheme, revealing some subtleties and challenges in designing such schemes. Then, we systematically explore the inherent conflicts and unavoidable trade-offs among the design criteria. Our results indicate that, under the current widely accepted adversarial model, certain goals are beyond attainment. This also suggests a negative answer to the open problem left by Huang et al. in 2014. To the best of knowledge, the present study makes the first step towards understanding the underlying evaluation metric for anonymous two-factor authentication, which we believe will facilitate better design of anonymous two-factor protocols that offer acceptable trade-offs among usability, security and privacy.

Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs

Abstract: We propose Nopol , an approach to automatic repair of buggy conditional statements (i.e., if-then-else statements). This approach takes a buggy program as well as a test suite as input and generates a patch with a conditional expression as output. The test suite is required to contain passing test cases to model the expected behavior of the program and at least one failing test case that reveals the bug to be repaired. The process of Nopol consists of three major phases. First, Nopol employs angelic fix localization to identify expected values of a condition during the test execution. Second, runtime trace collection is used to collect variables and their actual values, including primitive data types and objected-oriented features (e.g., nullness checks), to serve as building blocks for patch generation. Third, Nopol encodes these collected data into an instance of a Satisfiability Modulo Theory (SMT) problem; then a feasible solution to the SMT instance is translated back into a code patch. We evaluate Nopol on 22 real-world bugs (16 bugs with buggy if conditions and six bugs with missing preconditions) on two large open-source projects, namely Apache Commons Math and Apache Commons Lang. Empirical analysis on these bugs shows that our approach can effectively fix bugs with buggy if conditions and missing preconditions. We illustrate the capabilities and limitations of Nopol using case studies of real bug fixes.

Gibberellin Regulates the Arabidopsis Floral Transition through miR156-Targeted SQUAMOSA PROMOTER BINDING–LIKE Transcription Factors

Abstract: Gibberellin (GA), a diterpene hormone, plays diverse roles in plant growth and development, including seed germination, stem elongation, and flowering time. Although it is known that GA accelerates flowering through degradation of transcription repressors, DELLAs, the underlying mechanism is poorly understood. We show here that DELLA directly binds to microRNA156 (miR156)-targeted SQUAMOSA PROMOTER BINDING–LIKE (SPL) transcription factors, which promote flowering by activating miR172 and MADS box genes. The interaction between DELLA and SPL interferes with SPL transcriptional activity and consequently delays floral transition through inactivating miR172 in leaves and MADS box genes at shoot apex under long-day conditions or through repressing MADS box genes at the shoot apex under short-day conditions. Our results elucidate the molecular mechanism by which GA controls flowering and provide the missing link between DELLA and MADS box genes.