Thi Thanh Huyen Phan

Learn More
Workflow verification has attracted a lot of attention, especially control flow aspect. However, little research has been carried out on data verification in workflow literature although data is one of the most important aspects of workflow. This paper proposes an approach for detecting and repairing Unintentional Change in In-use Data (UCID) in a(More)
—Distributed collaborative software development tends to make artifacts and decisions inconsistent and uncertain. We try to solve this problem by providing an information repository to reflect the state of works precisely, by managing the states of artifacts/products made through collaborative work, and the states of decisions made through communications.(More)
This paper proposes an extended mobile payment service model founded on the existing ones to solve the non-repudiation problems with fair non-repudiation protocols for all phases in a typical m-commerce transaction. The novel model bases on assumptions about the cooperation between mobile network operators and financial institutions to deal with different(More)
  • 1