Crowdfunding is emerging as a booming financing channel for entrepreneurs to raise money for their projects. However, crowdfunding project implementation has been a major challenge which does not gain enough attention in the current literature. This paper developed a research model to investigate the antecedents of crowdfunding project success measured in three dimensions, i.e., award (product)...

We consider the probabilistic contract signing protocol of Ben-Or, Goldreich, Micali, and Rivest as a case study in formal verification of probabilistic security protocols. Using the probabilistic model checker PRISM, we analyse the probabilistic fairness guarantees the protocol is intended to provide. Our study demonstrates the difficulty of combining fairness with timeliness in the context of...

Novel embedded and ubiquitous infrastructures are being realized as collaborative federations of heterogeneous systems over widearea networks by means of publish/subscribe services. Current publish/subscribe middleware do not jointly support two key requirements of these infrastructures: timeliness, i.e., delivering data to the right destination at the right time, and flexibility, i.e., enablin...

As a value-added service for standard email systems, a certified email scheme allows a sender to deliver a message to a receiver in a fair way in the sense that either the sender obtains a receipt from the receiver and the receiver accesses the content of the email simultaneously, or neither party gets the expected item. In this paper, we first point out some weaknesses in several existing sche...

This paper presents a novel architecture that supports the reliability and dependability of an Intrusion Detection System (IDS). It also provides timeliness guarantees that are shown to be fundamental in a trusted IDS. The architecture is also distributed, in the sense that the several components communicate and exchange status between them in a secure way. It uses the wormhole principle as a m...

During the development of an Real-time Database Management System (RTDBMS) one needs to trade-off between data consistency and timeliness. To achieve a systematic method for such trade-off, we must find a way to model the behaviors and properties of real-time transactions. In this report, we experiment with the modeling of transactions and verification of transaction properties in UPPAAL. We bu...