101 research outputs found

    A Tense And Aspect Calculus

    No full text
    This paper focuses on a theory of tense and aspect (the representation of time in natural language) that attempts a formal representation of the relevant linguistic devices as iraplication rules in first order logic

    Internet Voting: Improving Resistance to Malicious Servers in REVS

    No full text
    With the explosive growth and consequent usage of the Internet as a medium to offer new services with increased value, it became possible to develop Internet Voting Systems. So far, several have been proposed but few have been implemented. REVS is an Internet Voting System based on blind signatures designed to tackle some of the real-world problems presented by other systems. The main contribution of our work is to improve the robustness of REVS. This is achieved with a scheme that prevents specific denial of service attacks against protocol participants, which are not easily detected. In particular, we address the problem raised by colluded malicious servers preventing voters from voting and the exhaustion of resources on servers. Then, we present a performance comparison of the solutions proposed against the current REVS protocol
    • …
    corecore